软件验证技术

1、1 2 案例案例1 “爱国者爱国者”在载赫蓝的失败在载赫蓝的失败 1991年2月25日，一枚伊拉克飞毛 腿导弹击中了沙特阿拉伯载赫蓝沙特阿拉伯载赫蓝 的一个军营，杀死了美国陆军第 十四军需分队的28名士兵。 政府调查指出该次失败归咎于导 弹系统时钟内的一个软件错误。 在此之前，爱国者导弹连在载赫 蓝已经连续工作了100小时。至此， 导弹的时钟已经偏差了三分之一 秒，相等于600米的距离误差。 软件中的错误 案例案例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 用 户 需 求 需 求 规 格 说 明 书 概 要 设 计 说 明 书 详 细 设 计 说 明 书 需 求 分 析 概 要 设 计 详 细 设 计 编 码 源 代 码 单 元 测 试 集 成 测 试 确 认 测 试 系 统 测 试 问题 产品 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 节点节点 边边 R4R4 区域区域 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 如果软件测试问题如果软件测试问题 包含确定的边界包含确定的边界, ,那那 么数据类型可能是么数据类型可能是: : 数值数值 字符字符 位置位置 数量数量 速度速度 地址地址 尺寸尺寸 还要考虑数据类型还要考虑数据类型 的特征的特征: : 第一个第一个/ /最后一个最后一个 最小值最小值/ /最大值最大值 开始开始/ /完成完成 空空/ /满满 最慢最慢/ /最快最快 相邻相邻/ /最远最远 超过超过/ /在内在内 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) 测试用例驱动模块测试结果 B 桩模块1桩模块2 (模拟M) (b) (模拟D)(模拟E) 197 198 199 200 201 混合式混合式 203 204 205 206 207 208 AAA 211 212 213 214 2自底向上的渐增式测试自底向上的渐增式测试 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