đảm bảo chất lượng phần mềm và kiểm thử chương 3 kiểm thử phần mềm

§¹i häc Quèc gia Hμ néi - §¹i häc c«ng nghÖ Bé m«n C«ng nghÖ phÇn mÒm BÀI GiNG CAO HOC M BO CHT LNG PHN MM VÀ KiM TH NguyÔn V¨n Vþ Email: vynv@coltech.vnu.vn, mobile: 0912.505.291 Hà ni - 2005 2005 B môn CNFM – i hc Công ngh 2 Nguy  n V  n V  KIM TH PHN MM Phn II 2005 B môn CNFM – i hc Công ngh 3 Nguy  n V  n V  ̈ Khái nim kim th ̈ Các loi kim th ̈ Thm đnh và xác minh ¬ Roger S. Pressman. Software Engineering, a Practitioner’s Approach. 3th Edition, McGraw-Hill, 1992, Bn dich ca Ngô Trung vIt, Phn 4, tp 4 (Chng 17, 18, 23 –bn 2001) ¬ Ian Sommerville. Software Engineering, Sixth Edition, Addion Wesley, 2001, Phn 5 và 6. chng 20 ¬ E.M.Bennatan, Software Project Management : a practitioner’s approach, McGRAW-HILL Book Company, 2001 Ni dung – Tài liu 2005 B môn CNFM – i hc Công ngh 4 Nguy  n V  n V  ¸ Kim th FM là yu t quyt đnh ca SQA, là khâu đin hình ca rà soát đc t, thit k, lp mã. ¸ kim th theo Glen Myers: Là quá trình vn hành chng trình đ 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? Câu hi: Lý do? Vai trò? Mc tiêu? Quan nim? Li ích khác? Loi-mc? Dòng thông tin? Tin trình ? A. Khái nim v kim th phn mm 2005 B môn CNFM – i hc Công ngh 5 Nguy  n V  n V  ̇ Mun nhìn thy phn mm nh mt phn t ca h thng hot đng (xem sn phm) ̇ Hn ch chi phí cho các tht bi do li gây ra sau này (hiu qu) ̇ Có k hoch tt nâng cao cht lng sut quá trình phát trin (gii pháp). a. Lý do kim th phn mm 2005 B môn CNFM – i hc Công ngh 6 Nguy  n V  n V  ̈ Chi phí ca kim th chim: ̈ 40% tng công sc phát trin ̈ ≥ 30% tng thi gian phát trin ̈ Vi các phn mm có nh hng ti sinh mng, chi phí có th gp t 3 đn 5 ln tng các chi phí khác cng li. ̈ Kim th tt s: ̈ Gim chi phí phát trin ̈ Tng đ tin cy ca sn phm phn mm b.Vai trò kim th phn mm 2005 B môn CNFM – i hc Công ngh 7 Nguy  n V  n V  ¸ Mc tiêu trc mt: to ra các ca kim th đ ch ra li ca phn mm (tc là “đánh đ”phn mm) ̈ Nghe ra có v mang tính “phá hoi”, î d gây ra nhng vn đ v tâm lý. ¸ Mc đích cui cùng: có mt chng trình tt, chi phí ít î xây dng c. Mc tiêu kim th phn mm 2005 B môn CNFM – i hc Công ngh 8 Nguy  n V  n V  ¸ Khi kim th, ta tin hành nhng ca kim th khác nhau: Æ Ca kim th tt có xác sut cao tìm ra mt li cha đc phát hin . Æ Ca kim th thng li làm l ra ít nht mt li còn cha đc phát hin. d. Quan nim v mt kim th tt 2005 B môn CNFM – i hc Công ngh 9 Nguy  n V  n V  ¸ Ca kim th thng li làm l ra khim khuyt, đng thi mang li các li ích ph là thuyt minh: ̇ Chc nng tng ng vi đc t (xác minh), ̇ Thc thi phù hp yêu cu & đc t (thm đnh, xác minh) ̇ Cung cp các ch s đ tin cy & cht lng (thm đnh) . ¸ Tuy nhiên, kim th không th khng đnh rng phn mm không có khim khuyt e. Li ích khác ca kim th 2005 B môn CNFM – i hc Công ngh 10 Nguy  n V  n V  g. Mô hình ch V - Các mc kim th Phân tích yêu cu c t phn mm Thit k kin trúc Thit k chi tit Lp trình rà soát mã test đn v test tích hp test h thng test chp nhn Xác minh Thm đnh [...]... ngh 33 g2 Ví d ma tr n ki m th Nguy n V n V 1 1 1 23 6 7 8 9 4,5 1 1 1 1 6 1 1 7 7 11 9 10 =A 1 8 8 10 11 1 45 2 ,3 6 23 45 1 9 1 10 1 11 2005 B môn CNFM – i h c Công ngh 34 g2 Ví d ma tr n ki m th (t) Nguy n V n V 1 23 45 1 1 23 6 7 8 9 10 11 1 1 1 45 1 A2 = 6 2 7 1 8 1 9 10 11 2005 1 1 B môn CNFM – i h c Công ngh Các s trong ma tr n cho bi t s con ng có hai c nh i qua cung ó 35 h i u ki n logic và. .. u trúc c b n c a th dòng: case while until if 2005 B môn CNFM – i h c Công ngh 25 f3 Ví d : c u trúc i u khi n ch ng trình Nguy n V n V ̈ xét bi u i u khi n c a m t ch ng trình 1 2 3 4 6 7 11 8 5 9 10 2005 B môn CNFM – i h c Công ngh 26 f4 Ví d : c u trúc th dòng Nguy n V n V ̈ ̈ lu ng i u khi n th dòng 1 1 2 ,3 2 6 3 4 6 7 11 7 8 8 5 9 10 2005 4,5 11 B môn CNFM – 9 i h c Công ngh 10 27 f5 Ví d : xác... cung; N = s nút; P= s nút v t V i ví d v 2005 th dòng B môn CNFM – trên ta có: V(G) = 4 i h c Công ngh 30 f8 Xác nh các ca ki m th Nguy n V n V V th dòng Tính ph c T p chu trình Xác nh t p ng c b n Các ca ki m th và n i dung Yêu c u, mã ngu n 2005 Chu n b các ca ki m th B môn CNFM – i h c Công ngh 31 g K thu t ma tr n ki m th Nguy n V n V ¸ Ma trân ki m th là m t ma tr n vuông có kich th c b ng s các... ng s ) 3 i u ki n lôgic – chi n l c mi n và BRO 4 i u khi n theo dòng d li u 5 Các c u trúc chu trình – giá tr c tr ng 2005 B môn CNFM – i h c Công ngh 22 f K thu t th dòng Nguy n V n V f0 Khái ni m v th dòng ̈ Là m t k thu t d a trên c u trúc i u khi n c a ch ng trình ̈ G n gi ng th lu ng i u khi n c a ch ng trình ̈ Nh n ct th lu ng i u khi n b ng cách: g p các l nh tu n t thay l nh r nhánh và i m... ng pháp và chi n l c ki m th Nguy n V n V ¸ Hai ph ng pháp ph bi n: ̇ Ki m th h p tr ng (white box) ̇ Ki m th h p en (black box) ¸ Các chi n l c Ki m th ̈ ng d ng cho các m c & lo i ki m th # ̈ M t s chi n l c: ̇ ̇ ̇ ̇ 2005 Ki Ki Ki Ki m th m th m th m th t v h lu trên xu ng/d i lên/lai (tích h p) n l n (big bang –tích h p) i quy (tích h p) n s i (h th i gian th c) B môn CNFM – i h c Công ngh 13 i Bi... Khái ni m ki m th h p tr ng Nguy n V n V ¬ V n , tr ngai: Ü S con nh : ̇ ̇ • • ng lôgíc là r t l n: m t ch ng trình v i 100 dòng PASCAL v i m t vòng l p s con ng logic có th t i:1014 c n 31 70 n m ki m th t t m i con và m i ràng bu c lôgic trên nó! ng Ü Nhi u tr ng thái d li u khác nhau: i l ng, giá tr , s thay i trong ti n trình, s k t h p 2005 B môn CNFM – i h c Công ngh 18 b N i dung c n ki m th h... A, B là bi u th c s h c ¸ n là 1 bi n Bool (có th có toán t ph i u ki n ph c h p c u thành t h n m t i u ki n nh các toán t Bool: ho c ( ), và ( ), ph nh ( ) D = X1 & X 2 & … Xn , trong ó Xi là i u ki n t bool 2005 B môn CNFM – i h c Công ngh nh): X n n, & là toán 36 ... u sai nh t ̇ v i n l c & th i gian nh nh t ¸ Trong các th p k 80-90 ã nghiên c u nhi u lo i ph ng pháp thi t k ca ki m th ¸ Các ph ng pháp t t ph i cho m t c ch : ̇ b o m tính y (không sót ph n nào) và ̇ cung c p kh n ng th t s phát hi n c các sai 2005 B môn CNFM – i h c Công ngh 16 B Ki m th h p tr ng Nguy n V n V a Khái ni m ki m th h p tr ng ̌ it ng: mã ngu n ̌ M c: các mô un ̌ N ̇ ̇ ̇ 2005 nv... liên ti p k ma tr n này c ma tr n ch s con ng k cung t nút dòng t i nút c t ¸ Ma tr n ki m th c s d ng nh 1 d li u có c u ki m tra các con ng c b n: s ng i trúc qua nút 2005 B môn CNFM – i h c Công ngh 32 g1 Các ma tr n ki m th có tr ng s Nguy n V n V ¸ ma tr n ki m th - m t công c m nh - trong vi c ánh giá c u trúc i u khi n ch ng trình Khi ki m th , ta thêm tr ng s cho các cung c a ma tr n ki m th... ng th lu ng i u khi n c a ch ng trình ̈ Nh n ct th lu ng i u khi n b ng cách: g p các l nh tu n t thay l nh r nhánh và i m k t thúc c a các i u khi n b ng 1 nút v t 2005 B môn CNFM – i h c Công ngh ng 23 f1 C u trúc th dòng Nguy n V n V ̈ C u trúc g m: ̇ m i nút (hình tròn) bi u th m t hay m t s l nh tu n t , ̇ ho c thay cho i m h i t các ng i u khi n m i c nh n i hai nút bi u di n dòng i u khi n, ̈ . i hc Công ngh 3 Nguy  n V  n V  ̈ Khái nim kim th ̈ Các loi kim th ̈ Thm đnh và xác minh ¬ Roger S. Pressman. Software Engineering, a Practitioner’s Approach. 3th Edition, McGraw-Hill,. Ngô Trung vIt, Phn 4, tp 4 (Chng 17, 18, 23 –bn 2001) ¬ Ian Sommerville. Software Engineering, Sixth Edition, Addion Wesley, 2001, Phn 5 và 6. chng 20 ¬ E.M.Bennatan, Software Project. th chim: ̈ 40% tng công sc phát trin ̈ ≥ 30 % tng thi gian phát trin ̈ Vi các phn mm có nh hng ti sinh mng, chi phí có th gp t 3 đn 5 ln tng các chi phí khác cng li. ̈