đảm bảo chất lượng phần mềm và kiểm thử chương 4 thẩm dịnh 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 NguyÔn V¨n Vy 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þ THM NH VÀ XÁC MINH Phn III 2005 B môn CNFM – i hc Công ngh 3 NguyÔn V¨n Vþ ̈ Các loi kim th ̈ Thm đnh và xác minh Ni dung – Tài liu ¬ 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. 2005 B môn CNFM – i hc Công ngh 4 NguyÔn V¨n Vþ g1. Khái nim kim th h thng ̌ H thng da trên máy tính do nhiu bên xây dng, ngi phát trin phn mm ch là mt ̌ Vic kim th h thng d có nguy c các bên tham gia “đ li cho nhau”. ̌ Nhng sai có th ny sinh t: • Các d liu qua giao din ca các thành phn đc kim th • ng x lý liên kt các thành phn • S tích hp li t các thành phn khác nhau • Nhng hn ch khác đn nng lc do nh hng t các thành phân: chu li, an toàn, thc thi g. Kim th h thng 2005 B môn CNFM – i hc Công ngh 5 NguyÔn V¨n Vþ ̌ Yêu cu đt ra: • mô phng các d liu xu & các sai tim tàng ti giao din phn mm. • Kim th kt qu ca mi đng liên kt • Báo cáo các kt qu kim th phân đnh tng phn, tng loi làm chng c phòng nga đ li cho nhau. • Vic hoch đnh và thit k các ca kim th h thng theo nhng cách nhìn khác nhau sao cho bo đm ph n mm đc kim th đy đ, chính xác các loi yêu cu g1. Khái nim v kim th h thng 2005 B môn CNFM – i hc Công ngh 6 NguyÔn V¨n Vþ g2. Mô hình kim th h thng D liu qua giao din có th sai , gây sai, phóng đi sai sai? Phóng đi sai? Gây sai? sai? 2005 B môn CNFM – i hc Công ngh 7 NguyÔn V¨n Vþ g3. Các loi kim th h thng 1. Kim th chc nng (mc h thng) 2. Kim th phc hi ( chu li) 3. Kim th an ninh ( sc chu tn công) 4. Kim th thi hành ( thông sut, kp thi) 5. Kim th chu ti ( qui mô, giá tr nhy cm) 2005 B môn CNFM – i hc Công ngh 8 NguyÔn V¨n Vþ g4. Kim th chc nng mc h thng ̌ Chc nng mc h thng bao gm các chc nng giao din, các chc nng mc ngi dùng hay đu ra cui cùng khi h thng ̌ Các chc nng này thng mang tính tích hp. Nên sau khi phát hin sai phi quay li kim th tng phn cu thành trc nó ̌ Các giao din (ngi dùng, h thng) đc xem nh đim phân đnh gia các phn đ ki m th 2005 B môn CNFM – i hc Công ngh 9 NguyÔn V¨n Vþ ¸ Nhiu h thng cn phi phc hi sau li, đ tip tc x lý trong mt thi gian đã đc t trc, có th: ̈ h thng cn th li: ngha là x lý li bt buc không đc làm ngng hot đng ca toàn h thng. ̈ li phi đc khc phc dn theo chu k đã đc t. ¸ kim th phc hi là bt phn mm phi tht bi đ xem kh nng phc hi ca nó đn đâu. ¸  tin cây là mt đ đo đánh giá kh nng phc hi g4. Kim th phc hi 2005 B môn CNFM – i hc Công ngh 10 NguyÔn V¨n Vþ Có 2 cách phc hi: ̌ Phc hi t đng: bng khi đng li (c ch checkpoint). Sau khi phc hi d liu, h thng t tip tc hay khi đng li thì đc đánh giá là đúng đn. ̌ Phc hi có s can thip ca con ngi. Lúc này cn đánh giá thi gian trung bình đ sa chatrong gii hn cho phép hay không? g4. Kim th phc hi [...]... Các k thu t h p tr ng và h p giá ch c n ng và s thi hành c bình th ng ̌ Ki m th ch u t i là v n hành h ngu n l c v i s l ng, t n su th ng en a ch c dùng ng trình ánh m c th ng khi s d ng t và c ng d ̌ M t lo i khác c a th nghi m áp l c là ki m th nh y: c g ng làm b c l các t h p d li u (l p d li u vào có hi u l c) hay s ki n mà có th gây ra vi c x lý không n nh ho c không chính xác 2005 B môn CNFM –... en thuy t minh s phù h p c a nó v i các yêu c u 2005 B môn CNFM – i h c Công ngh 17 h1 Khái ni m ki m th ch p nh n NguyÔn V¨n Vþ ¸ M t k ho ch phác ra nh ng l p ki m th c n ti n hành và m t th t c ki m th xác nh các ca ki m th s th c hi n thuy t minh s phù h p v i các yêu c u ¸ C k ho ch & th t c ̈ ̈ ̈ ̈ 2005 c thi t k b o m r ng: T t c các yêu c u c tho mãn, Các yêu c u thi hành ã chính xác, Tài li... c tho mãn, Các yêu c u thi hành ã chính xác, Tài li u úng n và Các yêu c u khác là tho áng B môn CNFM – i h c Công ngh 18 h2 Tiêu chu n ki m th th m nh NguyÔn V¨n Vþ ¸ Sau m i ca ki m th , ph n m m tr ng h p sau: vào m t trong hai ̈ Các c tính ch c n ng ho c s th c hi n phù h p v i c t và c ch p nh n ̈ Các l ch l c so v i c t và mong i hi n và m t danh sách các khi m khuy t ra c phát ct o Các sai sót... a h th ng ã s là ch c ch n ̌ Vi c thi hành úng bao g m c s l ng, ch t l ng (ho t ng và hi u n ng) 2005 B môn CNFM – i h c Công ngh 14 g7 Ki m th thi hành NguyÔn V¨n Vþ ¸ Th ng g n li n v i ki m th áp l c vì c hai th ng òi h i các d ng c ph n c ng và ph n m m chuyên d ng Vì c n o s t ng h p ngu n l c (trong, ngoài) và Nh d ng c ngo i lai giám sát các kho ng v n hành, các s ki n ng t (log) khi nó xu... th i gian ch không ph i là v n x lý B môn CNFM – i h c Công ngh 27 b Khó kh n c a g r i NguyÔn V¨n Vþ Có th khó tái th hi n các i u ki n u vào ( ng d ng th i gian th c, th t u vào không xác nh) Tri u ch ng có th là b gián o n (các h nhúng v i liên k t ph n c ng và ph n m m không tháo r i c) c phân Tri u ch ng có th do các nguyên nhân tán trong m t s các nhi m v ch y trên các b x lý khác nhau 2005 B... trình ki m th cho ng i phát tri n m t cách nh k ¸ Theo các báo ó Ng i phát tri n c i biên và chu n b phân ph i b n phát hành b n hoàn thi n cho toàn b nh ng ng i t hàng 2005 B môn CNFM – i h c Công ngh 24 i Ngh thu t g r i (debugging) NguyÔn V¨n Vþ ̌ K t qu c a ki m th th nh ng tri u ch ng v n ng m i ch ra l i và cho th y c a ph n m m Nguyên nhân c a l i hay v n có th ch a rõ: Bi u l bên ngoài c a sai... i t hàng ̌ Ki m th ch p nh n có th ti n hành vài tu n ho c vài c các l i tích lu tháng m t l n, nh ó mà b c l làm suy gi m h th ng theo th i gian 2005 B môn CNFM – i h c Công ngh 21 h3.2 Ki m th Alpha & Beta n khách NguyÔn V¨n Vþ ¸ Khi ph n m m dành cho nhi u ng i t hàng, thì ki m th ch p nh n b i m t khách hàng là không th c t Quá trình ki m th alpha và ki m th bêta cho nhi u ng i ti n hành là b... i h c Công ngh 28 c V n tâm lý trong g l i NguyÔn V¨n Vþ ̌ Nhi u b ng ch ng cho r ng tài g l i là b m sinh c a con ng i ̌ Ng i này thì gi i g r i, k khác l i không; và r t khó d y và khó h c g r i xu t ph ng ̌ Tuy nhiên ng i ta c ng ã có vài cách g r i 2005 B môn CNFM – i h c Công ngh 29 d Các cách th c g r i NguyÔn V¨n Vþ ̌ Nói chung có 3 l a ch n cách g r i: ̈ ̈ ̈ 2005 V d ng vô m u L n theo v t c... th 2005 B môn CNFM – i h c Công ngh 25 a Ti n trình g r i NguyÔn V¨n Vþ ¸ Quá trình g r i luôn d n t i hai kh n ng: ̈ Tìm ra nguyên nhân, ch nh s a và kh ̈ Không tìm c l i c nguyên nhân Tr ng h p này c n thi t k m t ca ki m th giúp vi c th m nh nghi ng và nh v y công vi c tìm sai l i d n n ti p t c ki m th nh m t vòng l p Ki m th L i G Tìm ra nguyên nhân r i Không tìm ra nguyên nhân 2005 B môn CNFM... trong b i c nh “t nhiên” ̈ Ng i phát tri n “nhòm qua vai” ng i s d ng báo cáo các sai và các v n s d ng (vì th còn g i là ki m th sau l ng) ¸ ki m th alpha c ti n hành trong m t môi tr ng c i u khi n (theo k ho ch c a ng i phát tri n) ¸ D li u cho ki m th Alpha th 2005 B môn CNFM – ng là d li u môph ng i h c Công ngh 23 h3 .4 Ki m th Beta NguyÔn V¨n Vþ ¸ ki m th bêta c nhi u ng i t hàng ti n hành , không . đnh và xác minh Ni dung – Tài liu ¬ 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. LNG PHN MM VÀ KiM TH NguyÔn V¨n Vy 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þ THM NH VÀ XÁC MINH Phn III 2005. trng và hp đen đc dùng đ đánh giá chc nng và s thi hành ca chng trình  mc bình thng . ̌ Kim th chu ti là vn hành h thng khi s dng ngun lc vi s lng, tn sut và