Bài 9 Xác minh và thẩm định

Bé m«n C«ng nghÖ phÇn mÒm- Khoa CNTT- §HCN Email: vynv@coltech.vnu.vn K ngh phn mm Software Engeneering B môn Công ngh phn mm – HCN 2 NguynVnV Ni dung Bài 9: Xác minh & thm đnh ̈ Kh¸i niÖm x¸c minh, thÈm ®Þnh ̈ Rμ sãat phn mm ̈ KiÓm thö phÇn mÒm B môn Công ngh phn mm – HCN 3 NguynVnV TÀI LiU THAM KHO 1. Nguyn Vn V, Nguyn Vit Hà. Giáo trình k ngh phn mm. Nhà xut bn i hc Quc gia Hà ni, 2008 2. Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling language User Guid. Addison-Wesley, 1998. 3. M. Ould. Managing Software Quality and Business Risk, John Wiley and Sons, 1999. 4. Roger S.Pressman, Software Engineering, a Practitioner’s Approach. Fifth Edition, McGraw Hill, 2001. 5. Ian Sommerville, Software Engineering. Sixth Edition, Addison- Wasley, 2001. 6. Nguyn Vn V. Phân tích thit k h thng thông tin hin đi. Hng cu trúc và hng đi tng, NXB Thng kê, 2002, Hà Ni. B mụn Cụng ngh phn mm HCN 4 NguynVnV Khái niệm xác minh & thẩm định ạ Xác minh (Verification) Kiểm tra xem phần mềm lm ra có úng đặc tả (yêu cầu, thiết kế) hay không ạThẩm định (Validation) kiểm tra xem phần mềm có đáp ứng yêu cầu ngời dùng không ơ ây l 2 hoạt động cốt yếu để đảm bảo chất lợng phần mềm, diễn ra suốt quá trình phát triển B môn Công ngh phn mm – HCN 5 NguynVnV Hot đng kim chng phn mm Thm đnh và xác minh thc hin  mi giai đon phát trin,vi sn phm khác nhau, do đi tng khác nhau thc hin các yêu cu phn mm đc t Yêu cu phn mm và các đc trng cht lung Xác minh Thm đnh đc t cha tt đc t tt cha đc t Thm đnh thit k phn mm Xác minh Xác minh B mụn Cụng ngh phn mm HCN 6 NguynVnV Các hot ng xác minh Cơ sở cho hoạt động xác minh Bản đặc tả yêu cầu Các bn thiết kế Mã nguồn ạ Hoạt động xác minh R soát (thanh tra, xét duyt, kiểm toán) Kiểm thử (đơn vị, tích hợp, hệ thống) B mụn Cụng ngh phn mm HCN 7 NguynVnV Các hot ng thẩm định Cơ sở cho hoạt động xác minh Bản đặc tả yêu cầu Mã nguồn ạ Hoạt động xác minh R soát (thanh tra, xét duyệt) Kiểm toán Kiểm thử thẩm định(chấp nhận) ơ Hai hot ng chính ca thm nh v xác minh l: r soát v kiểm thử. B mụn Cụng ngh phn mm HCN 8 NguynVnV Thẩm định/xác minh tĩnh r soỏt, xột duyt cỏc ti liu phn mm: kế hoạch, yêu cầu, thiết kế, mã nguồn phỏt hin mt s loi li nht nh khó đánh giá tính hiệu quả của sản phẩm B môn Công ngh phn mm – HCN 9 NguynVnV ThÈm ®Þnh/x¸c minh đng ̈ thc hin trên c s cho vn hành sn phm phn mm: º Làm mu yêu cu º Vn hành chng trình (kim th) º Mô phng h thng ̈ ngi phát trin/ngi dùng trc tip kim tra đánh giá ̈ phát hin mi li và khim khuyt phn mm, hiu qu cao B môn Công ngh phn mm – HCN 10 NguynVnV Rà soát phn mm  Rà soát là xem xét, đánh giá sn phm đc tin hành mi giai đon đ phát hin ra nhng khim khuyt cn sa trc khi sang giai đon sau  Mc tiêu: •Ch ra các khim khuyt cn phi ci thin. •Khng đnh nhng sn phm đt yêu cu. •Kim soát vic đt cht lng k thut ti thiu c a sn phm (có din mo không đi, n đnh)  Áp dng ti các thi đim khác nhau trong quá trình phát trin phn mm. [...]... xét bi u i u khi n c a m t ch ng trình 1 l nh 2 r nhánh 4 ng i c l p: 3 1-11 1-2-3-4-5-10 1-2-3-6-7 -9- 10 1-2-3-6-8 -9- 10 4 6 7 11 8 5 9 10 B môn Công ngh ph n m m – HCN 31 th dòng c a ch ng trình Nguy nV nV ̈ lu ng i u khi n th dòng ̈ 1 1 2,3 2 6 3 4 6 7 11 7 8 4,5 8 5 9 10 B môn Công ngh ph n m m – 11 HCN 9 10 32 ph c t p c a chu trình Nguy nV nV ̈ m i l nh u c ki m th ít nh t m t l n, c n tìm c t t c... m: 9 nút, trong ó:5 nút là v t , 11 cung, Chia m t ph ng thành 4 mi n ¹ ph c t p chu trình V(G) c a tính theo các cách sau: th G c = 11 -9+ 2 = 4 ̇ V(G) = E - N + 2 ̇ V(G) = s mi n ph ng = 4 ̇ V(G) = P – 1 = 5-1 = 4 Trong ó: E = s cung; N = s nút; P = s nút v t B môn Công ngh ph n m m – HCN 34 Xác nh các ca ki m th Nguy nV nV V th dòng Tính ph c T p chu trình Chu n b các ca ki m th Các ca ki m th và. .. Nguy nV nV V th dòng Tính ph c T p chu trình Chu n b các ca ki m th Các ca ki m th và n i dung Yêu c u, mã ngu n B môn Công ngh ph n m m – Xác nh t p ng c b n HCN 35 Ví d ma tr n ki m th Nguy nV nV 1 1 1 23 7 11 6 4,5 6 7 8 9 11 1 1 1 1 1 1 =A 1 8 1 9 10 10 1 7 8 9 45 45 2,3 6 23 1 10 1 11 B môn Công ngh ph n m m – HCN 36 ... n m m B môn Công ngh ph n m m – HCN 19 Ki m th ph n m m – software testing Nguy nV nV Ki m th là t ch c v n hành ph n m m 1 cách có k ho ch và ph ng pháp tìm ra l i C n v n hành nh th nào : º hi u su t tìm ra l i là cao nh t ? º chí phí (th i gian, công s c) ít nh t? N i dung ho t ng ki m th bao g m: º K ho ch ki m th º ph ng pháp ki m th , º chi n l c ki m th và º k thu t s d ng B môn Công ngh ph... biên v n hành ph i c th c hiên c dùng b o º M i c u trúc d li u n i t i m hi u l c thi hành c a nó B môn Công ngh ph n m m – HCN 29 Các k thu t s d ng Nguy nV nV 1 2 3 4 5 a ra u tiên) th dòng (Tom McCabe Ma tr n ki m th (s ng i, tr ng s ) i u ki n lôgic – chi n l c mi n và BRO i u khi n theo dòng d li u Các c u trúc chu trình – giá tr c tr ng B môn Công ngh ph n m m – HCN 30 Ví d : c u trúc i u khi... soát Nguy nV nV Thành ph n: lãnh o rà soát, các cá nhân rà soát và ng i t o ra s n ph m c rà soát (+ khách) K • • • t luân a ra 1 trong 3 quy t nh sau: Ch p nh n s n ph m không c n ch nh s a Kh c t s n ph m vì nh ng l i nghiêm tr ng Ch p nh n cho ch nh s a s n ph m, sau khi ch nh s a ph i rà soát l i M i thành viên tham gia cu c h p ph i ký vào quy t B môn Công ngh ph n m m – HCN nh 15 S n ph m rà soát... ng trình) và tri n khai (implementation) º Ki m th s phù h p c a ph n m m v i yêu c u º Kh ng nh ph n ã t yêu c u B môn Công ngh ph n m m – HCN 12 M c tiêu rà soát k thu t chính th c Nguy nV nV M c tiêu c th (t): ºB o º m FM phù h p v i các chu n ã nh m b o FM c phát tri n theo m t cách th c nh t quán (uniform manner) º Làm cho d án d qu n lý h n º Ngoài ra, làm c s hu n luy n các k s tr và có ích... ch V - Các m c ki m th Nguy nV nV Phân tích yêu c u test ch p nh n test h th ng ct ph n m m Thi t k ki n trúc test tích h p Thi t k chi ti t test v L p trình B môn Công ngh ph n m m – HCN n Th m nh Xác minh rà soát mã 21 Các lo i ki m th Nguy nV nV T ng ng v i mô hình ch V có các lo i ki m th : º Ki m th n v (unit testing) º Ki m th tích h p (integration testing) º Ki m th h th ng (system testing)... Báo cáo các v n n y sinh do cá nhân rà soát nêu ra • 1 danh sách các v n c n gi i quy t • 1 b n t ng k t cu c h p B n t ng k t h p rà soát ph i ch rõ: • ã rà soát cái gì • Ai rà soát • Tìm th y cái gì và K t lu n ra sao B môn Công ngh ph n m m – HCN 16 S n ph m rà soát (t) Nguy nV nV Danh sách các v n t n t i ph c v : º Nh n ra các vùng có v n c rà soát trong s n ph m º Dùng nh 1 danh sách các kho n... 17 Ti n hành rà soát Nguy nV nV M i s n ph m c tao ra m i b c soát (không ch s n ph m cu i cùng) u c rà Ti n trình phát tri n chung nh t g m 4 -5 giai o n: º K ngh h th ng (KH tri n khai) º Phân tích, xác nh yêu c u ph n m m ( c t yêu c u) º Thi t k ph n m m (thi t k ) º L p mã (mã ngu n) º Ki m th ph n m m (k ho ch ki m th ) º Bao trì (k ho ch b o trì) Rà soát bám sát theo s n ph m c a các giai o n