Đạ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 BI Gi NG M B O CH T L NG PH N M M VÀ Ki M TH Email: vynv@vnu.edu.vn, mobile: 0912.505.291 Hà n i - 2005 Ph n II KI M TH 2005 B môn CNFM – PH N M M i h c Công ngh N i dung – Tài li u ̈ Khái ni m ki m th ̈ Các lo i ki m th ̈ Th m đ nh xác minh ¬ Roger S Pressman Soft ware Engineering, a Pract it ioner’s Approach 3th Edition, McGraw-Hill, 1992, B n dich c a Ngô Trung vI t, Ph n 4, t p (Ch ng 17, 18, 23 –b n 2001) ¬ Ian Sommerville Software Engineering, Sixth Edition, Addion Wesley, 2001, Ph n ch ng 20 ¬ E.M.Bennatan, Soft ware Proj ect Managem ent : a pract it ioner’s approach, McGRAW-HILL Book Company, 2001 2005 B môn CNFM – i h c Công ngh A.Khái ni m v ki m th ¸ Ki m th mã ¸ FM y ph n m m c a SQA đ c t thi t k & l p : ̇ Mu n nhìn th y ph n m m nh m t ph n t c a h th ng ho t đ ng ̇ H n ch chi phí ph i tr cho th t b i l i gây sau ̇ có k ho ch t t cho su t trình phát tri n 2005 B môn CNFM – i h c Công ngh a.Lý c n ki m th ph n m m ¸ T m quan tr ng Ki m th chi m: 2005 ̈ 40% ̈ ≥ 30% t ng th i gian phát tri n ̈ V i ph n m m có nh h ng t i sinh m ng, chi phí có th g p t đ n l n t ng chi phí khác c ng l i t ng công s c phát tri n B môn CNFM – i h c Công ngh b.Quan ni m v ki m th ph n m m ¸ M c tiêu tr c m t: c g ng t o ca ki m th đ ch l i c a ph n m m (t c “đánh đ ” ph n m m) đ c xây d ng ̈ Vì th , tr c m t ki m th mang tính “phá ho i”, khơng ph i xây d ng ỵ d gây nh ng v n đ v tâm lý ¸ M c đích cu i c a ki m th v n có m t ch ng trình t t, chi phí î xây d ng 2005 B môn CNFM – i h c Công ngh c.M c tiêu ki m th ph n m m ¸ M c tiêu c a ki m th (Glen Myers): ̇ Là trình v n hành ch ng trình đ tìm l i Nên: ỵ M t ca ki m th t t ca ki m th có xác su t cao tìm m t l i ch a đ c phát hi n ỵ M t ca ki m th th ng l i ca ki m th làm l đ c nh t m t l i ch a đ c phát hi n ¸ i u có v trái v i suy ngh thông th xây d ng ph n m m 2005 B môn CNFM – i h c Công ngh ng v c.M c tiêu ki m th ph n m m ¸ M t ca ki m th th ng l i làm l m khuy t, đ ng th i mang l i l i ích ph : ̇ ̇ ̇ Thuy t minh r ng ch c n ng ph n m m t ng ng v i đ c t , Yêu c u th c thi phù h p, Cung c p thêm ch s đ tin c y ch s ch t l ng ph n m m nói chung ¸ Tuy nhiên, ki m th không th kh ng đ nh r ng ph n m m khơng có m khuy t 2005 B môn CNFM – i h c Công ngh c.Các lo i hình k thu t ki m th ¸ Ki m th đ n v ̇ Ki m th h p tr ng (white box) ̇ Ki m th h p đen (black box) ¸ Ki m th tích h p ¸ Ki m th h th ng ̇ ̇ ̇ ̇ Ki Ki Ki Ki m th m th m th m th ph c h i áp l c thi hành an ninh ¸ Ki m th ch p nh n (alpha, beta) 2005 B môn CNFM – i h c Công ngh d.Bi u đ dịng thơng tin ki m th ̌ S đ dịng thơng tin ti n trình ki m th C u hình ph n m m C u hình ki m th 2005 Ki m th ánh giá B mơn CNFM – G l i Mơ hình tin c y i h c Công ngh Ph n m m ch nh s a tin c y d đoán 10 k Chi n l c ki m th mi n ¸ Chi n l c ki m th mi n đòi h i ho c ki m th cho m t bi u th c quan h : g m tr ng h p , = có th ≠ n a ¸ N u bi u th c Bool có n bi n, mà n nh thu n l i, song n u n l n khó th c hi n! ¸ Ng i ta đ a chi n l c cho phép th nh y c m sai ki m th nhánh toán t quan h 2005 B môn CNFM – i h c Công ngh 32 k Chi n l c ki m th BRO ¸ BRO = ki m th nhánh & toán t quan h ̇ BRO dùng “ràng bu c u ki n cho u ki n c n th ” ̇ Gi s u ki n C c n th n-1 u ki n đ n, ràng bu c c a C (có n u ki n đ n) (D1, D2,…, Dn), Di m t đ c t ràng bu c đ u c a u ki n đ n t ng ng c a C 2005 B môn CNFM – i h c Công ngh 33 k Chi n l ¸ BRO = ki m th c ki m th BRO nhánh & toán t quan h ̇ Ta nói r ng ràng bu c D c a u ki n C đ c ph b i m t thi hành c a C n u nh q trình thi hành ,đ u (“outcome”) c a m i u ki n đ n C tho mãn ràng bu c t ng ng 2005 B môn CNFM – i h c Công ngh 34 k1 Chi n l c BRO – t o ràng bu c ¸ V i m t bi n Bool B, ràng bu c đ u c a B t (true) ho c f (false) ¸ V i m t bi u th c quan h B ràng bu c đ u c a B là: >, , = ¸ Xét u ki n C h i hai bi n Bool: A B = E Khi ràng bu c c a C c p (t,t), (t,f) (f,t); v i (B = E) có giá tr t t ng ng v i “=“, giá tr f t ng ng v i “”; B i v y t p ràng bu c c a C ph i g m ph n t : (t,=), (t,) (f,=) ¸ Ph c a ràng bu c b o đ m phát hi n đ c sai biên Bool ho c toán t quan h C 2005 B môn CNFM – i h c Công ngh 37 k3 Chi n l c BRO – t o ràng bu c ¸ Xét u ki n C h i c a hai bi u th c quan h (A>B) (E=F) ¸ T p ràng bu c s (t,t), (t,f) (f,t) t s là: (>,=); (>,,>); (=,=) (, ≥ hay ≠ ¸ i u ki n k t h p u ki n c u thành t h n m t u ki n đ n nh toán t Bool: ho c (∪), và( ∩), ph đ nh(⎯) 2005 B môn CNFM – i h c Công ngh 29 h Ki u sai u ki n ki m th ̈ Sai bi n Bool