đảm bảo chất lượng phần mềm và kiểm thử chương 2 các loại kiểm thử và xác minh

§¹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 M BO CHT LNG PHN MM VÀ KiM TH 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 KIM TH PHN MM Phn II 2005 B môn CNFM – i hc Công ngh 3 ̈ 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 ¬ Nguyn Vn V, Nguyn Vit Hà. Giáo trình k ngh phn mm, i hc Công ngh, HQGHN, 2006. Ni dung – Tài liu 2005 B môn CNFM – i hc Công ngh 4 a. Khái nim ̌ Chin lc kim th là s tích hp các k thut thit k ca kim th to thành mt dãy các bc nhm hng dn quá trình kim th phn mm thành công. ̌ Nó phác tho l trình đ: ¸ nhà phát trin t chc vic bo đm cht lng, ¸ khách hàng: hiu đc công sc, thi gian và ngun lc cn cho kim th. D. Chin lc kim th phn mm 2005 B môn CNFM – i hc Công ngh 5 Chin lc kim th phi: ̈ tích hp đc vic lp k hoch, thit k ca kim th, tin hành kim th, thu thp và đánh giá các thông tin kt qu. ̈ đ mm do đ c v óc sáng to, đáp ng đc yêu cu khách hàng ̈ thích ng vi mc kim th c th ̈ đáp ng các đi tng quan tâm khác nhau b. Yêu cu ca chin lc kim th 2005 B môn CNFM – i hc Công ngh 6 Các đc trng có tính khuôn mu: ̈ Bt đu  mc môđun và tip tc cho đn khi tích hp  mc h thng trn vn. ̈ Các k thut kim th khác nhau là thích hp cho nhng thi đim khác nhau. ̈ c c ngi phát trin và nhóm kim th đc lp cùng tin hành. ̈ kim th đi trc g li, song vic g li phi thích ng vi tng chin lc kim th . c. Các đc trng chin lc kim th 2005 B môn CNFM – i hc Công ngh 7  Chin lc cn thích ng vi tng mc kim th: • kim th mc thp: xác minh tng khúc mã ngun có tng ng và thc thi đúng đn không? • kim th mc cao: xác minh và thm đnh các chc nng h thng ch yu có đúng đc t và đáp ng yêu cu ca khách hàng không?. d. S thích ng ca chin lc kim th 2005 B môn CNFM – i hc Công ngh 8  Mi chin lc đáp ng đc yêu cu ngi quan tâm: • Có các hng dn cho ngi thc hin tin hành kim th . • Có các ct mc cho các nhà qun lý kim soát hot đng đm bo cht lng . • Có thc đo đ có th nhn ra các vn đ càng sm càng tt và khách hàng nhn bit đc quá trình kim th e. S đáp ng ca chin lc kim th 2005 B môn CNFM – i hc Công ngh 9 ¸ Kim th phn mm là mt phn ca hot đng “xác minh và thm đnh”: ̈ Xác minh là mt tp các hot đng đ bo đm rng: phn mm thc hin đúng chc nng đã đc đct ̈ Thm đnh là mt tp hp các hot đng đ bo đm rng: phn mm đã đáp ng đúng yêu cu ca khách hàng. Câu hi : Ai làm? Làm cái gì? Khi nào? Và mi quan h? E. T chc kim th 2005 B môn CNFM – i hc Công ngh 10 ¸ Các k s phn mm làm ra phn mm. Mt cách t nhiên h cn tin hành các kim th ban đu. V nguyên tc, ngi làm sn phm, kim tra sn phm là không hp lý. ¸ Có mt s hiu lm : ̈ Ngi phát trin không tham gia kim th . ̈ Cho phép ngi l kim th mt cách tàn nhn. ̈ Ngi kim th ch quan tâm khi kim th bt đu a. Trách nhim kim th phn mm [...]... ngh X1,X2, ,Xn Y1,Y2, ,Yn 16 a1 ̇ ̇ ̇ ̇ ̇ 20 05 c tr ng d li u qua giao di n Thu c tính và các cái khác c a các i s nh s n có úng n hay không? M i tham chi u liên quan t i các tham s hi n không k t h p v i u vào ch ? Các i s ch c ã c i ch a? nh ngh a bi n toàn c c có trong su t mô un không? Các ràng bu c lên bi n ã chuy n qua nh tham s ch a? B môn CNFM – i h c Công ngh 17 a2 Ki m th liên quan n vào/ra... c Công ngh n ) 21 a6 Ki m th dòng i u khi n/biên ¸ Các sai bi n l p, s vòng l p: ̈ ̈ ̈ Vòng l p không k t thúc ho c k t thúc không chính xác S l p phân k khó thoát c Các bi n l p b c i biên không chính xác ¸ Sai các biên ̈ ki m th biên là nhi m v cu i cùng c a b c ki m th n v Ph n m m th ng th t b i t i các biên c a chúng 20 05 B môn CNFM – i h c Công ngh ? 22 a7 Ki m th sai ti m n ¸ Các sai ti m n... vi c a d li u vào và nh n k t qu ra c a module ¸ Cu ng (stub) dùng c p c a nó 20 05 thay cho các module là th B môn CNFM – i h c Công ngh 25 m10 K thu t ki m th n v (t) B A D lái (thay A) li u K t qu C B B u vào Giá tr tr v D H 20 05 E th ng xây d ng B môn CNFM – Cu ng (thay D,E) Ki m th i h c Công ngh mô un B 26 a10 K thu t ki m th nv ¸ M t cu ng (stub) ho c “dummy program” dùng các c các thao giao... driver) và t t c các mô un ph tr tr c ti p c thay th b i các cu ng (stub) 2 Thay th d n t ng cu ng b i mô un th c thi t ng ng 3 Sau khi tích h p mô un ó, ti n hành các ki m th t ng ng 20 05 B môn CNFM – i h c Công ngh 32 b3.1 Ti n trình tích h p trên xu ng 4 Khi hoàn thành các ki m th này thì thay m t cu ng khác b ng mô un th c (ngh a là quay l i b c 2) 5 Có th ki m th l i (toàn b ho c m t ph n các ki... T các mô un ã ki m th n v , 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 trên xu ng, d i lên, k p ̈ Tích h p ng th i 1 lúc: “big bang” 20 05 B môn CNFM – i h c Công ngh 28 b1 Các sai g p khi tích h p Các sai có th g p khi tích h p : ̈ ̈ ̈ ̈ ̈ 20 05 D li u b m t khi i qua m t giao di n hi u ng b t l i 1 mô un vô tình gây ra i các mô un khác S k t h p các. .. tri n miên! 4 3 modul2 Module 1 20 05 B môn CNFM – i h c Công ngh 30 b3 Chi n l c tích h p t trên xu ng ¸ là m t cách ti n l i xây d ng và ki m soát c u trúc ch ng trình ¸ G p d n các mô un t trên xu ng theo tr t t dòng i u khi n, b t u t mô un i u khi n “main”, g n t ng mô un ph tr vào mô un i u khi n th ng c p Có th theo 2 cách: ̈ Theo chi u “sâu tr c” ̈ Theo chi u “r ng tr c” 20 05 B môn CNFM – i h... Vì th thi t k các ki m th c n làm l ra các lo i l i sau: ̈ ̈ ̈ ̈ ̈ 20 05 ánh máy không úng ho c không nh t quán? Giá tr ng m nh ho c giá tr kh i thu sai? Tên các bi n không úng (sai ch ho c m t ch )? Ki u d li u không nh t quán? Ngo i bi t v a ch , underflow, overflow B môn CNFM – i h c Công ngh 19 a4 Ki m th v các x lý ¸ Các sai v trình t , ̈ Th ̈ S ̈ Kh ̈ S 20 05 chính xác là: t u tiên các phép tính... th cho các mô un m c th p, do ó không 1 d li u có ý ngh a nào c truy n lên trên 20 05 B môn CNFM – i h c Công ngh 35 b3.4 Gi i pháp tích h p t trên xu ng ̌Ng ̈ ̈ ̈ 20 05 i ki m th có 3 cách ch n: Trì hoãn nhi u ki m th cho t i khi các cu ng c thay th b ng các mô un th c s Phát tri n các cu ng sao cho chúng hoàn thành nh m t ph n h n ch các ch c n ng mà mô un d i th c th c hi n K t h p tích h p các mô... thêm c a mã hoá ¸ K t qu rà soát thi t k cung c p các ch d n thi t l p các ca ki m th nh m b c l các sai trong m i lo i ã nêu ¸ M i ca ki m th mong i L p mã 20 05 ph i g n v i m t t p các k t qu Thanh tra B môn CNFM – Rà soát i h c Công ngh Ki m th nv 24 a10 K thu t ki m th nv ¸ Mô un không ph i là ch ng trình cô l p, nên c n phát tri n các ph n m m b lái và/ ho c cu ng cho ki m th m i n v ¸ B lái (driver)... s h c? nh t quán c a các phép toán tr n mode? i s /k t thúc không úng n? chính xác c a k t qu ? B môn CNFM – i h c Công ngh 20 a5 Ki m th các i u ki n lôgic ¸ Các sai ki u, toán t , ng ngh a: ̈ ̈ ̈ ̈ So sánh các ki u d li u khác nhau u tiên ho c toán t logic không úng n D oán m t bi u th c so sánh, trong khi sai s làm cho ng th c không ch c có th c Các giá tr so sánh không úng ( 20 05 ) B môn CNFM – . MM VÀ KiM TH Email: vynv@coltech.vnu.vn, mobile: 09 12. 505 .29 1 Hà ni - 20 05 20 05 B môn CNFM – i hc Công ngh 2 KIM TH PHN MM Phn II 20 05 B môn CNFM – i hc Công ngh 3 ̈ Các loi. th: • kim th mc thp: xác minh tng khúc mã ngun có tng ng và thc thi đúng đn không? • kim th mc cao: xác minh và thm đnh các chc nng h thng ch yu có đúng đc t và đáp ng yêu. phn ca hot đng xác minh và thm đnh”: ̈ Xác minh là mt tp các hot đng đ bo đm rng: phn mm thc hin đúng chc nng đã đc đct ̈ Thm đnh là mt tp hp các hot đng đ bo