软件验证技术

1、12案例案例1 “爱国者爱国者”在载赫蓝的失败在载赫蓝的失败1991年2月25日，一枚伊拉克飞毛腿导弹击中了沙特阿拉伯载赫蓝沙特阿拉伯载赫蓝的一个军营，杀死了美国陆军第十四军需分队的28名士兵。政府调查指出该次失败归咎于导弹系统时钟内的一个软件错误。在此之前，爱国者导弹连在载赫蓝已经连续工作了100小时。至此，导弹的时钟已经偏差了三分之一秒，相等于600米的距离误差。软件中的错误案例案例2 windows2000中文输入法的中文输入法的漏洞漏洞34567891011121314151617181920212223242526272829303132333435a用户需求需求规格说明书概要设计说

2、明书详细设计说明书需求分析概要设计详细设计编码源代码单元测试集成测试确认测试系统测试问题产品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节点节点边边R4R4区域区域1 12 23 34 45 58 87 76 69 911118 89 9R1R1R2R2R3R3101089909192939495969798991001011021031041051061071081091101111

4、12113114115116117118119120121122123124125126128134136如果软件测试问题如果软件测试问题包含确定的边界包含确定的边界, ,那那么数据类型可能是么数据类型可能是: :数值数值字符字符位置位置数量数量速度速度地址地址尺寸尺寸还要考虑数据类型还要考虑数据类型的特征的特征: :第一个第一个/ /最后一个最后一个最小值最小值/ /最大值最大值开始开始/ /完成完成空空/ /满满最慢最慢/ /最快最快相邻相邻/ /最远最远超过超过/ /在内在内139140141142143“”1451461471481491501511521 1I I1 12 2B B4

5、 4A AC C3 35 5D DI I4 4I I3 3I I2 2E E157158159160161162163164D168169170172174175176177178179180181182183184185186187188189190191192193194195196 MBCADE(a)测试用例驱动模块测试结果B桩模块1桩模块2(模拟M)(b)(模拟D)(模拟E)197198199200201混合式混合AA211212213214215Mc218219221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253