軟件驗(yàn)證技術(shù)

1、12案例案例1 “愛(ài)國(guó)者愛(ài)國(guó)者”在載赫藍(lán)的失敗在載赫藍(lán)的失敗1991年2月25日，一枚伊拉克飛毛腿導(dǎo)彈擊中了沙特阿拉伯載赫藍(lán)沙特阿拉伯載赫藍(lán)的一個(gè)軍營(yíng)，殺死了美國(guó)陸軍第十四軍需分隊(duì)的28名士兵。政府調(diào)查指出該次失敗歸咎于導(dǎo)彈系統(tǒng)時(shí)鐘內(nèi)的一個(gè)軟件錯(cuò)誤。在此之前，愛(ài)國(guó)者導(dǎo)彈連在載赫藍(lán)已經(jīng)連續(xù)工作了100小時(shí)。至此，導(dǎo)彈的時(shí)鐘已經(jīng)偏差了三分之一秒，相等于600米的距離誤差。軟件中的錯(cuò)誤案例案例2 windows2000中文輸入法的中文輸入法的漏洞漏洞34567891011121314151617181920212223242526272829303132333435a用戶(hù)需求需求規(guī)格說(shuō)明書(shū)概要設(shè)計(jì)說(shuō)

2、明書(shū)詳細(xì)設(shè)計(jì)說(shuō)明書(shū)需求分析概要設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼源代碼單元測(cè)試集成測(cè)試確認(rèn)測(cè)試系統(tǒng)測(cè)試問(wèn)題產(chǎn)品363738394041424344454647484950515254555657581234559606162條件組合覆蓋判定/條件覆蓋判定覆蓋條件覆蓋語(yǔ)句覆蓋63646566L16768L1L26970L4L3711T1T2T2T724321TTTT4321TTTT4321TTTT3T3T4T4T734321TTTT4321TTTT7475T T T T1234T T T T1234A B A B X A20101andorandandA X B A X11021andorandand76T T1

3、2T T12T T12T T1277T T34TT34T T34TT34TTTT1 2 3 4T T T T1234T T T T1234TTTT1 23478T T T T1234T T T T1234T T T T1234T T T T34127980818283848586871 12,32,36 64,54,57 71 10 01111a節(jié)點(diǎn)節(jié)點(diǎn)邊邊R4R4區(qū)域區(qū)域1 12 23 34 45 58 87 76 69 911118 89 9R1R1R2R2R3R3101089909192939495969798991001011021031041051061071081091101111

4、12113114115116117118119120121122123124125126128134136如果軟件測(cè)試問(wèn)題如果軟件測(cè)試問(wèn)題包含確定的邊界包含確定的邊界, ,那那么數(shù)據(jù)類(lèi)型可能是么數(shù)據(jù)類(lèi)型可能是: :數(shù)值數(shù)值字符字符位置位置數(shù)量數(shù)量速度速度地址地址尺寸尺寸還要考慮數(shù)據(jù)類(lèi)型還要考慮數(shù)據(jù)類(lèi)型的特征的特征: :第一個(gè)第一個(gè)/ /最后一個(gè)最后一個(gè)最小值最小值/ /最大值最大值開(kāi)始開(kāi)始/ /完成完成空空/ /滿滿最慢最慢/ /最快最快相鄰相鄰/ /最遠(yuǎn)最遠(yuǎn)超過(guò)超過(guò)/ /在內(nèi)在內(nèi)139140141142143“”1451461471481491501511521 1I I1 12 2B B4

5、 4A AC C3 35 5D DI I4 4I I3 3I I2 2E E157158159160161162163164D168169170172174175176177178179180181182183184185186187188189190191192193194195196 MBCADE(a)測(cè)試用例驅(qū)動(dòng)模塊測(cè)試結(jié)果B樁模塊1樁模塊2(模擬M)(b)(模擬D)(模擬E)197198199200201混合式混合AA211212213214215Mc218219221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253