K ngh ph n m m Software Engeneering Bé m«n Công nghệ phần mềm- Khoa CNTT- ĐHCN Email: vynv@coltech.vnu.vn Bi 9: Xác minh & th m đ nh Nguy nV nV N i dung ̈ 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 TÀI Li U THAM KH O Nguy nV nV 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 Grady Booch, James Rumbaugh, Ivar Jacobson The Unified Modeling language User Guid Addison-Wesley, 1998 M Ould Managing Software Quality and Business Risk, John Wiley and Sons, 1999 Roger S.Pressman, Software Engineering, a Practitioner’s Approach Fifth Edition, McGraw Hill, 2001 Ian Sommerville, Software Engineering Sixth Edition, AddisonWasley, 2001 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 h ng đ i t ng, NXB Th ng kê, 2002, Hà N i B môn Công ngh ph n m m – HCN Khái niệm xác minh & thẩm định Nguy nV nV Xác minh (Verification) Kiểm tra xem phần mềm lm 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 hoạt động cốt yếu để đảm bảo chất lợng phần mềm, diễn suốt trình phát triển B môn Công ngh ph n m m – HCN Ho t đ ng ki m ch ng ph n m m Nguy nV nV đ ct t t đ c thi t yêu t k ph n m m c u đ c t ch a t t ch a đ c t Th m đ nh ph n Yêu Xác minh c u Xác minh Th m đ nh m m Xác minh ph n m m đ c tr ng ch t lu ng Th m đ nh 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, đ i t ng khác th c hi n B môn Cơng ngh ph n m m – HCN C¸c ho t đ ng x¸c minh Nguy nV nV ̈ Cơ sở cho hoạt động xác minh Bản đặc tả yêu cầu Các b n thiết kế Mà nguồn Hoạt động xác minh R soát (thanh tra, xÐt t, kiĨm to¸n) º KiĨm thư (đơn vị, tích hợp, hệ thống) B mụn Cụng ngh ph n m m – HCN C¸c ho t ng thẩm định Nguy nV nV 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 dut) º KiĨm to¸n º Kiểm thử thẩm định(chấp nhận) Hai ho t ng chÝnh c a th m đ nh vμ x¸c minh lμ: rμ so¸t vμ kiĨm thư.à B mơn Cơng ngh ph n m m HCN Thẩm định/xác minh tÜnh Nguy nV nV º rà soát, xét t tài li u ph n m m: kÕ hoạch, yêu cầu, thiết kế, mà nguồn phỏt hi n m t s lo i l i nh t nh khó đánh giá tính hiệu s¶n phÈm B mơn Cơng ngh ph n m m HCN Thẩm định/xác minh ng Nguy nV nV ̈ th c hi 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 đánh giá i dùng tr c ti p ki m tra ̈ phát hi n m i l i m khuy t ph n m m, hi u qu cao B môn Công ngh ph n m m – HCN Rà soát ph n m m Nguy nV nV Rà soát xem xét, đánh giá s n ph m đ c ti n hành m i giai đo n đ phát hi n nh ng m khuy t c n s a tr c sang giai đo n sau M • • • c tiêu: Ch 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 th i m khác trình phát tri n ph n m m B môn Công ngh ph n m m – HCN 10 Ki m th đ nv Nguy nV nV ¹ i t ng: mô đun đ n v ch ¹ N i dung ki m th : º º º º º ng trình giao di n: d li u qua giao di n, d li u vào c u trúc d li u s d ng c c b đ ng u n u ki n lơgic phép tốn x lý ¹ Ph ng pháp s d d ng: Ph ng pháp h p tr ng ¹ K thu t: k thu t ph ng pháp h p tr ng b lái, cu ng B môn Công ngh ph n m m – HCN 50 Ki m th tích h p – khái ni m Nguy nV nV ¹ Ki m th tích h p (integration testing) nh m nh n đ c b ph n ch c n ng hay h t t ¹ M t k thu t có tính h th ng đ xây d ng c u trúc ch ng trình: t mơđun ki m, xây d ng c u trúc ch ng trình đ m b o tuân theo thi t k ¹ Có hai cách tích h p º Tích h p d n: t xu ng, d i lên, k p º Tích h p đ ng th i lúc: “big bang” ¹ Ph ng pháp: ph ng pháp h p đen ¹ K thu t: b lái, cu ng B môn Công ngh ph n m m – HCN 51 Các sai g p tích h p mơ đun Nguy nV nV Các sai có th g p tích h p : ̈ ̈ ̈ ̈ ̈ D li u b m t qua m t giao di n Hi u ng b t l i mơđun vơ tình gây đ i môđun khác S k t h p ch c n ng ph có th khơng sinh ch c n ng mong mu n S phóng đ i sai sót riêng r có th b đ n m c không ch p nh n đ c V n đ c a c u trúc d li u tồn c c có th đ l B môn Công ngh ph n m m – HCN 52 S đ - tích h p xu ng Nguy nV nV A A B C E F G H D I B K Ki m th Cu ng (C,D) Cu ng(E,F) A B A Cu ng C Cu ng (D,I,K) Cu ng(E,F) Ch a xong H K t h p theo chi u r ng c n ki m th B môn Công ngh ph n m m – HCN K t h p theo chi u sâu 53 S đ - tích h p d i lên Nguy nV nV C m B B B lái lái lái Vịng Vịng B mơn Cơng ngh ph n m m – HCN Vịng 54 Nh n xét ph ng pháp tích h p Nguy nV nV ̌ Chi n l c Big bang º dùng cho ch ng trình nh º ph c t p, không hi u qu ̌ Chi n l c trên-xu ng º nh c m: c n cu ng º nh ng khó kh n kèm theo cu ng º có ch c n ng u n h th ng ̌ Chi n l c d i –lên: º ln ch a có ch ng trình ch nh th º thi t k ca ki m th d không c n cu ng B môn Công ngh ph n m m – HCN 55 Ki m th h th ng Nguy nV nV ¹Khái ni m ki m th h th ng ̌ ̌ H th ng d a máy tính (ph n c ng & ph n m m) nhi u bên xây d ng, ng i phát tri n ph n m m ch m t Chúng c n đ c ki m tra t ng th Nh ng sai c n ki m tra: º Các d li u qua giao di n c a thành ph n đ c ki m th º ng x lý liên k t thành ph n º S tích h p l i t thành ph n khác º Nh ng h n ch khác đ n n ng l c nh h ng t thành phân: ch u l i, an toàn, th c thi B môn Công ngh ph n m m – HCN 56 Các lo i ki m th h th ng Nguy nV nV Ki m th ch c n ng (m c h th ng) bao g m ch c n ng giao di n, ch c n ng m c ng i dùng hay đ u cu i kh i h th ng Ki m th ph c h i (ch u l i) º ki m th ph c h i b t ph n m m ph i th t b i đ xem kh n ng ph c h i c a đ n đâu Có m c ph c h i: ph h i t đ ng hay c n đ n s cán thi p c a ng i tin m t đ đo đánh giá kh n ng ph c º h i B môn Công ngh ph n m m – HCN 57 Các lo i ki m th h th ng Nguy nV nV Ki m th an ninh (s c ch u t n công) º ki m tra m i c ch b o v đ c xây d ng xem có đ t hi u qu đ tr c đ t nh p hay không? º ng i ki m th đóng vai trị c a k đ t nh p th c hi n m i đ t nh p có th đ đánh giá Ki m th thi hành (thông su t, k p th i) º ki m th thi hành đ c thi t k đ ki m tra s v n hành c a ph n m m h th ng đ c tích h p º Vi c thi hành bao g m c s l ng, ch t l ng (ho t đ ng hi u n ng) B môn Công ngh ph n m m – HCN 58 Các lo i ki m th h th ng Nguy nV nV Ki m th ch u t i (qui mô, giá tr nh y c m) º v n hành h th ng s d ng ngu n l c v i s l ng, t n su t c ng đ d th ng º Ví d : v n hành c s d li u v i s b n ghi c c l n, v n hành h u hành m ng v i s máy nhi u d n B môn Công ngh ph n m m – HCN 59 ch p nh n- th m đ nh Ki m th Nguy nV nV ̌ M c tiêu: xem ph n m m có đáp khách hàng/ng ng đ i dùng không? ̌ Th c hi n thông qua lo t ki m th ̌ K º º º º c yêu c u ho ch & th t c đ h p đen c thi t k b o đ m r ng: T t c yêu c u đ c tho mãn, Các yêu c u thi hành xác, Tài li u đ n Các yêu c u khác tho đáng ̌ Có hai lo i: ki m th Alpha ki m th Beta B môn Công ngh ph n m m – HCN 60 Ki m th Alpha ki m th Beta Nguy nV nV ̈ Ki m th alpha phát tri n ti n hành: º Ph n m m đ c ng i dùng th c hi n b i c nh “t nhiên”, m t môi tr ng đ c u n º Ng i phát tri n “nhòm qua vai” ng i s d ng đ báo cáo sai v n đ s d ng (vì th cịn g i ki m th sau l ng) D li u th ng d li u mô ph ng ̈ Ki m th Beta khách hàng ti n hành º Ti n hành môi tr ng th c º Khách hàng báo cáo t t c v n đ h g p trình ki m th cho ng i phát tri n cách đ nh k B môn Công ngh ph n m m – HCN 61 C©u hái cđng cè Nguy nV nV Định nghĩa thẩm định v xác minh? Sự khác thẩm định,xác minh tĩnh v động? Các ho t ng thẩm định v xác minh l gì? R soát l gì? Có loại r soát no? Mục tiêu, đối tợng r soát kỹ thuật thức Tiến trình r soát kỹ thuật thức? Thnh phần, nội dung, kết họp r soát thức? Nêu danh mục sản phẩm cần r soát? Kiểm thử phần mềm l gì? Nội dung hoạt động kiểm thử gồm gì? B mụn Cụng ngh ph n m m – HCN 62 C©u hái cđng cè Nguy nV nV 10 Trình by đề cơng nội dung kế hoạch kiểm thử? 11 Vẽ sơ đồ dòng thông tin kiểm thử? 12 Vẽ sơ đồ tiến trình thực ca kiểm thử 13 Có loại kiểm thử no? Đối tợng l gì? 14 Có phơng pháp v chiến lợc kiểm thử no? 15 Trình by tóm tắt phơng pháp kiểm thử: đối tợng, sai cần kiểm tra, chiến lợc v kỹ thuật sử dơng? 16 Trình bày lo i hình ki m th : đ nh ngh a, m c tiêu, sai c n ki m tra, chi n l c k thu t s d ng, cách th c ti n hành? B môn Công ngh ph n m m – HCN 63 C©u hái th o lu n Nguy nV nV B môn Công ngh ph n m m – HCN 64 ... The Unified Modeling language User Guid Addison-Wesley, 199 8 M Ould Managing Software Quality and Business Risk, John Wiley and Sons, 199 9 Roger S.Pressman, Software Engineering, a Practitioner’s... 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 hoạt động cốt yếu để đảm bảo chất lợng phần mềm, diễn suốt trình phát triĨn B mơn Cơng ngh ph... đ i t ng, NXB Th ng kê, 2002, Hà N i B môn Công ngh ph n m m – HCN Khái niệm xác minh & thẩm định Nguy nV nV Xác minh (Verification) Kiểm tra xem phần mềm lm có úng đặc tả (yêu cầu, thiết kế)