Bài giảng đảm bảo chất lượng phần mềm và kiểm thử (phần 2) nguyễn văn vy

ch ng trìnhd.

§¹i häc Quèc gia Hμ néi - §¹i häc c«ng nghÖ

KI M TH PH N M M

Ph n II

̈ Khái ni m ki m th

̈ Các lo i ki m th

̈ Th m đ nh và xác minh

¬ Roger S Pressman Soft w ar e Engineer ing, a Pr act it ioner ’s

Appr oach 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, Soft w ar e Pr oj ect Managem ent : a pr act it ioner ’s appr oach, McGRAW-HILL Book Company, 2001

N i dung – Tài li u

¸ M c tiêu tr c m t: c g ng 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) đ c xây d ng

̈ Vì th , tr c m t ki m th mang tính “phá ho i”, không

ph i là xây d ng î d gây ra nh ng v n đ v tâm lý.

¸ M c đích cu i cùng c a ki m th v n là có m t

ch ng trình t t, chi phí ít î xây d ng

b.Quan ni m v ki m th ph n m m

¸ M c tiêu c a ki m th (Glen Myers):

̌ S đ dòng thông tin trong ti n trình ki m th

¸ Có th ki m th theo m t trong 2 k thu t sau:

f.Ph ng pháp thi t k ca ki m th (t)

̈ S d ng c u trúc đi u khi n c a thi t k th t c

̈ Vì sao c n t n ti n cho ki m th h p

tr ng?

• Các sai logic & gi thi t không đúng đ n t l ngh ch

v i xác su t đ m t con đ ng logic đ c thi hành.

• Th c t : m i con đ ng lôgic đ u có th đ c thi hành trên 1 c s nh t đ nh (ta cho r ng 1con

đ ng logic nào đó là không th đ c thi hành)

• Có nh ng sai chính t có th là ng u nhiên trên

b Lý do ki m th h p tr ng

̈ xét bi u đ m t ch ng trình

c Ví d : khái ni m đ th dòng(t)

0

1 2

3 6

87

4

5

̈ lu ng đi u khi n

c Ví d : khái ni m đ th dòng(t)

1

10 9

8 7

6

11

4,5 2,3

0

1 2

3 6

8

9 10 11

7

4

5

̈ đ th dòng

ch ng trình

d ph c t p c a chu trình

¸ T p c b n các con đ ng đ c l p là t p:

̇ M i cung c a đ th dòng đ u có m t trong 1 con

đ ng c a t p này.

̇ M i con đ ng c a t p đ u ch a ít nh t m t cung

không có trong m i con đ ng khác c a nó.

¸ S l ng các con đ ng c a t p này cho ta s đo

đ ph c t p chu trình c a 1 ch ng trình

d ph c t p c a chu trình(t)

¸ ph c t p chu trình V(G) c a đ th G đ c tính theo các cách sau:

¸ Ma trân ki m th là m t ma tr n vuông có kich

̇ Th i gian x lý c a ti n trình đi qua cung đó

̇ B nh đòi h i c a ti n trình đi qua cung đó.

g Các ma tr n ki m th có tr ng s

̈ Sai bi n Bool.

̈ Sai toán t Bool.

̈ Sai s h ng trong bi u th c toán t Bool

̈ Sai toán t quan h

̈ Sai bi u th c s h c.

h Ki u sai trong đi u ki n ki m th

¸ ki m th t ng đi u ki n trong ch ng trình.

¸ M c tiêu c a ki m th đi u ki n không ch là

phát hi n sai trong đi u ki n đó mà còn là phát

¸ BRO = ki m th nhánh & toán t quan h

̇ BRO dùng “ ràng bu c đi u ki n cho đi u ki n c n

th ”.

̇ Gi s trong đi u ki n C c n th n-1 đi u ki n

đ n, các ràng bu c c a C (có n đi u ki n đ n) là (D1, D2,…, Dn), trong đó Di là m t đ c t ràng

bu c đ u ra c a đi u ki n đ n t ng ng c a C.

k Chi n l c ki m th BRO

¸ BRO = ki m th nhánh & toán t quan h

̇ Ta nói r ng ràng bu c D c a đi u ki n C là đ c

ph b i m t thi hành c a C n u nh trong quá

trình thi hành đó , đ u ra (“outcome”) c a m i đi u

ki n đ n trong C tho mãn các ràng bu c t ng

ng

k Chi n l c ki m th BRO

¸ Ph c a ràng bu c này b o đ m đã phát hi n

đ c sai biên Bool ho c toán t quan h trong C

k2 Chi n l c BRO – t o ràng bu c2

¸ Xét đi u ki n C là h i c a hai bi u th c quan h

¸ Ph ng pháp ki m th dòng d li u tuy n ch n

các đ ng c a ch ng trình t ng ng v i vi c

đ nh v các xác đ nh bi n và s d ng bi n trong

ch ng trình ã có m t s chi n l c ki m th dòng d li u và so sánh chúng

¸ Gi thi t: đ nh ngh a bi n X câu l nh S v n còn

s ng t i câu l nh S’ n u có m t con đ ng t S t i S’ mà trên đó không ch a m t đ nh ngh a nào khác

¸ Có b n lo i vòng l p : m i lo i dùng m t t p

các phép th khác nhau

̈ Vòng l p đ n

m Ki m th đi u khi n: vòng l p

Vòng l p l ng.

m Ki m th đi u khi n: vòng l p

̈ Vòng l p n i ti p.

m Ki m th đi u khi n: vòng l p

̈ Vòng l p phi c u trúc (ít dùng).

m Ki m th đi u khi n: vòng l p