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

1、1 2 案例案例1 “愛國者愛國者”在載赫藍(lán)的失敗在載赫藍(lán)的失敗 1991年2月25日，一枚伊拉克飛毛 腿導(dǎo)彈擊中了沙特阿拉伯載赫藍(lán)沙特阿拉伯載赫藍(lán) 的一個(gè)軍營，殺死了美國陸軍第 十四軍需分隊(duì)的28名士兵。 政府調(diào)查指出該次失敗歸咎于導(dǎo) 彈系統(tǒng)時(shí)鐘內(nèi)的一個(gè)軟件錯(cuò)誤。 在此之前，愛國者導(dǎo)彈連在載赫 藍(lán)已經(jīng)連續(xù)工作了100小時(shí)。至此， 導(dǎo)彈的時(shí)鐘已經(jīng)偏差了三分之一 秒，相等于600米的距離誤差。 軟件中的錯(cuò)誤 案例案例2 windows2000中文輸入法的中文輸入法的 漏洞漏洞 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 2

2、5 26 27 28 29 30 31 32 33 34 35 a 用 戶 需 求 需 求 規(guī) 格 說 明 書 概 要 設(shè) 計(jì) 說 明 書 詳 細(xì) 設(shè) 計(jì) 說 明 書 需 求 分 析 概 要 設(shè) 計(jì) 詳 細(xì) 設(shè) 計(jì) 編 碼 源 代 碼 單 元 測(cè) 試 集 成 測(cè) 試 確 認(rèn) 測(cè) 試 系 統(tǒng) 測(cè) 試 問題 產(chǎn)品 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 54 55 56 57 58 1 2 3 4 5 59 60 61 62 條件組合覆蓋 判定/條件覆蓋 判定覆蓋條件覆蓋 語句覆蓋 63 64 65 66 L1 67 68 L1 L2

3、69 70 L4 L3 71 1 T 1 T 2 T 2 T 72 4321 TTTT 4 321 TTTT 4321 TTTT 3 T 3 T 4 T 4 T 73 4321 TTTT 4321 TTTT 74 75 T T T T1234 T T T T1234 A B A B X A 20 101 andor andand A X B A X 11 021 andor andand 76 T T12 T T12 T T12 T T12 77 T T34 TT34 T T34 TT34 TTTT1 2 3 4 T T T T1234 T T T T1234 TTTT1 234 78 T T

4、 T T1234 T T T T1234 T T T T1234 T T T T3412 79 80 81 82 83 84 85 86 87 1 1 2,32,3 6 64,54,5 7 7 1 1 0 0 1111 a 節(jié)點(diǎn)節(jié)點(diǎn) 邊邊 R4R4 區(qū)域區(qū)域 1 1 2 2 3 3 4 4 5 5 8 87 7 6 6 9 9 1111 8 8 9 9 R1R1 R2R2 R3R3 1010 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 1

5、17 118 119 120 121 122 123 124 125 126 128 134 136 如果軟件測(cè)試問題如果軟件測(cè)試問題 包含確定的邊界包含確定的邊界, ,那那 么數(shù)據(jù)類型可能是么數(shù)據(jù)類型可能是: : 數(shù)值數(shù)值 字符字符 位置位置 數(shù)量數(shù)量 速度速度 地址地址 尺寸尺寸 還要考慮數(shù)據(jù)類型還要考慮數(shù)據(jù)類型 的特征的特征: : 第一個(gè)第一個(gè)/ /最后一個(gè)最后一個(gè) 最小值最小值/ /最大值最大值 開始開始/ /完成完成 空空/ /滿滿 最慢最慢/ /最快最快 相鄰相鄰/ /最遠(yuǎn)最遠(yuǎn) 超過超過/ /在內(nèi)在內(nèi) 139 140 141 142 143 “” 145 146 147 148 1

6、49 150 151 152 1 1 I I1 1 2 2 B B 4 4 A A C C3 3 5 5 D D I I4 4 I I3 3 I I2 2 E E 157 158 159 160 161 162 163 164 D 168 169 170 172 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 M BCA DE (a) 測(cè)試用例驅(qū)動(dòng)模塊測(cè)試結(jié)果 B 樁模塊1樁模塊2 (模擬M) (b) (模擬D)(模擬E) 197 198 199 200 201 混合式混合式 203 204 205 206 207 208 AAA 211 212 213 214 2自底向上的漸增式測(cè)試自底向上的漸增式測(cè)試 215 Mc 218 219 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 25