軟件驗證技術

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

2、明書詳細設計說明書需求分析概要設計詳細設計編碼源代碼單元測試集成測試確認測試系統(tǒng)測試問題產(chǎn)品363738394041424344454647484950515254555657581234559606162條件組合覆蓋判定/條件覆蓋判定覆蓋條件覆蓋語句覆蓋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é)點節(jié)點邊邊R4R4區(qū)域區(qū)域1 12 23 34 45 58 87 76 69 911118 89 9R1R1R2R2R3R3101089909192939495969798991001011021031041051061071081091101111

4、12113114115116117118119120121122123124125126128134136如果軟件測試問題如果軟件測試問題包含確定的邊界包含確定的邊界, ,那那么數(shù)據(jù)類型可能是么數(shù)據(jù)類型可能是: :數(shù)值數(shù)值字符字符位置位置數(shù)量數(shù)量速度速度地址地址尺寸尺寸還要考慮數(shù)據(jù)類型還要考慮數(shù)據(jù)類型的特征的特征: :第一個第一個/ /最后一個最后一個最小值最小值/ /最大值最大值開始開始/ /完成完成空空/ /滿滿最慢最慢/ /最快最快相鄰相鄰/ /最遠最遠超過超過/ /在內(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)測試用例驅(qū)動模塊測試結(jié)果B樁模塊1樁模塊2(模擬M)(b)(模擬D)(模擬E)197198199200201混合式混合AA211212213214215Mc218219221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253