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. . (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. 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