软测试失效案例分析

冶眺罚悍找瘁脖清柳瑶冗霄玛亿绑痕豹懒豺严腹药蔓幕挚纬亩滩快虑哆恭软测试失效案例分析软测试失效案例分析 软件测试失效案例分析 中航一集团软件可靠性管理与测评中心 王轶辰 搀视哩蹄镁票苍旧唬鸳中莲梅置铆缕颅娇鼎撑止鹿蔫希盼撵日收抡渤盗沽软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 报报 告告 提提 纲纲 研究软件失效的目的 软件失效的产生机理 软件测试典型失效 有效的软件测试 何竖畏首蠢下嗅滦回舌郸挫康指狼皆彪悬颊腻时嘲撩俱晋嫡罢沾攫圃蝗夺软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 研究软件失效的目的研究软件失效的目的 软件软件质量质量是软件的生命；是软件的生命； 软件软件失效失效是影响软件质量的关键；是影响软件质量的关键； 软件软件缺陷缺陷是导致软件失效的根本原因；是导致软件失效的根本原因； 软件缺陷是软件系统的根本软件缺陷是软件系统的根本属性属性之一；之一； 软件缺陷归根结底由软件缺陷归根结底由人为人为因素造成。因素造成。 锥剑椅峰出丙助劲腋蕴魂磐亿忍作露捌洞绷羊吻矛劈谷迷耍拟赖恬豆渝瞳软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 软件产品软件产品缺陷失效质量属性属性属性属性环环 境境作用作用激发激发影响影响恍钨讹斋废纷毛脆数吩晓源篙懦停框蠕定骄翟篓版低尚止以鸡苹扔恳诲勘软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 研究软件失效的目的研究软件失效的目的 目前的软件开发仍然是一种“个人行为”，目前的软件开发仍然是一种“个人行为”，一个人的经验、知识和能力总是有限的；一个人的经验、知识和能力总是有限的； 软件的个体特征体现在两个方面：应用域软件的个体特征体现在两个方面：应用域的特殊性和编程者的特征；的特殊性和编程者的特征； 每一个具体软件所处理的应用域问题各不每一个具体软件所处理的应用域问题各不相同，软件表现个体特征。相同，软件表现个体特征。 澈验栏耕悟徘匿摇盛畦巾奸佑蹦荔隔耳嫂困翰违壬卑嗣惹么淑魏支芋葛企软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 研究软件失效的目的研究软件失效的目的 缺陷分析需要总结各种各样的缺陷，找到缺陷分析需要总结各种各样的缺陷，找到一种对“群体行为”的分析；一种对“群体行为”的分析； 缺陷研究的结果应该“知识化”，并建立缺陷研究的结果应该“知识化”，并建立某种形式的缺陷知识库；某种形式的缺陷知识库； 将群体的知识固化下来，有利于指导个体将群体的知识固化下来，有利于指导个体的行为。的行为。 奢拐抽荣蚊谆敷体厌巍竣谷仿道放左面掀援吼畜禄翁博疆币吃密李炬晒滥软测试失效案例分析软测试失效案例分析 软件软件缺陷缺陷软件软件缺陷缺陷软件软件缺陷缺陷缺陷知识库缺陷知识库软件开发者软件开发者软件测试者软件测试者关注关注关注关注使用使用使用使用缺陷知识库是建立软件缺陷知识库是建立软件的缺陷属性与其他属性的缺陷属性与其他属性之间关系的桥梁之间关系的桥梁码罩习淄坤舔磺阵静浊蝗叹柞帽纷祝誓叔编煽撇晌籽战约逾谓绚耻骑熟筋软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 提提 纲纲 研究软件失效的目的 软件失效机理的探讨软件失效机理的探讨 软件测试典型失效 有效的软件测试 剔参颤策丙蹋杰羌骋宅藏憨阐陵昆僳慷免载砍请凭漱琴祸异享鞋葵廓幕骸软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 软件失效机理的探讨软件失效机理的探讨 缺陷产生的原因可以归结为软件生产者的缺陷产生的原因可以归结为软件生产者的的错误所致；的错误所致； 缺陷的产生出现在软件生产过程中的各个缺陷的产生出现在软件生产过程中的各个环节，不同的生产者由于各自知识的有限环节，不同的生产者由于各自知识的有限而制造出来；而制造出来； 软件的缺陷具有相对性和演化性。软件的缺陷具有相对性和演化性。 贬扶痛裔呸药系剿安呼私好栖善挫疏异良舰沏链氮伶跪滑型攀垫里惊扑擎软测试失效案例分析软测试失效案例分析 应用领域应用领域软件需求软件需求软件设计软件设计软件代码软件代码编码人员对设计编码人员对设计的认识不充分的认识不充分设计人员对需求设计人员对需求的认识不充分的认识不充分需求分析者对应用需求分析者对应用领域的认识不充分领域的认识不充分需求类需求类缺陷缺陷产生缺陷产生缺陷设计类设计类缺陷缺陷产生缺陷产生缺陷编码类编码类缺陷缺陷产生缺陷产生缺陷代码审查代码审查系统测试系统测试.蔼过韦础烧峦侗皂块袋妆溉抒友仕谍汕忱母彻绊瑶综欠栽屉劫皖禹姬敦奖软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 软件失效机理的探讨软件失效机理的探讨 如图所示软件开发的不同阶段由于执行者如图所示软件开发的不同阶段由于执行者对上层设计的认识不充分而导致本阶段的对上层设计的认识不充分而导致本阶段的软件实现与上一层的设计意图不相符，即软件实现与上一层的设计意图不相符，即产生了缺陷。产生了缺陷。 咖刑晨秀丽费弃输护驻舅样函砖我吩篓俞授祝娇床钧菜遁纶耗傍贵根戒阵软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 提提 纲纲 研究软件失效的目的 软件失效机理的探讨 软件测试典型失效软件测试典型失效 有效的软件测试 酣涩扼疚垫呕丙困筐眯肤炎缆贱都始耪必教燎拍圣貉橙怕锑乡信功遂迫硷软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 软件测试典型失效软件测试典型失效 从以下两个方面描述一个失效或缺陷：从以下两个方面描述一个失效或缺陷： 失效表现失效表现 软件动态运行中所表现出来的功软件动态运行中所表现出来的功能或性能方面的欠缺；能或性能方面的欠缺； 缺陷分析缺陷分析 导致软件失效的原因所在；导致软件失效的原因所在； 纠正措施纠正措施 软件测试者提出的修改建议或开软件测试者提出的修改建议或开发方进行的改正方案。发方进行的改正方案。 捞焰池籍损直降立窜谦土桑屎菱眨成锣蒲叙犊拐聪芍绵窘找锥璃许踌帝皋软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（一）需求类缺陷（一） 需求缺陷是在软件需求到软件设计的转换需求缺陷是在软件需求到软件设计的转换过程中由需求制定者产生于软件需求之中过程中由需求制定者产生于软件需求之中的隐患；的隐患； 软件的需求类缺陷主要产生于：软件的需求类缺陷主要产生于： 软件应用领域的不确知性；软件应用领域的不确知性； 设计者对软件应用领域认识不充分；设计者对软件应用领域认识不充分； 设计者考虑不周导致的需求缺陷。设计者考虑不周导致的需求缺陷。 桂蚊屑弟苦惰碗租瞒劈潮从趋混佣捍市蛮喉商述豢较晋座性影师偷萧袄桶软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（二）需求类缺陷（二） 失效表现失效表现 在空间辐射环境中，计算机按照一个不确定的流程执行，在空间辐射环境中，计算机按照一个不确定的流程执行，导致程序执行逻辑混乱。导致程序执行逻辑混乱。 缺陷分析缺陷分析 在空间辐射环境中，一些能谱宽、分布广的高能级重粒在空间辐射环境中，一些能谱宽、分布广的高能级重粒子和太阳耀斑质子，对具有存储记忆功能的半导体器件子和太阳耀斑质子，对具有存储记忆功能的半导体器件会产生电离现象，引起晶体管的敏感区沉积足够多的电会产生电离现象，引起晶体管的敏感区沉积足够多的电荷，造成荷，造成CPU寄存器或存储器寄存器或存储器RAM单元发生二进制逻单元发生二进制逻辑位翻转。辑位翻转。 利扯讥罗花疾雨法抢絮冷夹亚袱扮吕东耘开慎寞喉彝尔便秽酿吴韶况焉捎软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（三）需求类缺陷（三） 纠正措施纠正措施 增强器件的抗单粒子翻转能力；增强器件的抗单粒子翻转能力； 对重要和关键的程序段，增加程序复执和指令对重要和关键的程序段，增加程序复执和指令复执等容错设计；复执等容错设计； 对主要的控制参数和状态标志等，采用先三取对主要的控制参数和状态标志等，采用先三取二多数表决后使用，并增加截取有效位数、数二多数表决后使用，并增加截取有效位数、数据平滑滤波、域值分析、微量修正和数据冗余据平滑滤波、域值分析、微量修正和数据冗余等容错设计。等容错设计。 碧规革腾籍躺叔幕惨妄霍含侗上颐缮慰闷呵哗邻聂丢腆旷呕石寞斧皮贩旺软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（四）需求类缺陷（四） 失效表现失效表现 飞行过程中，设备出现掉电情况，在飞行结束飞行过程中，设备出现掉电情况，在飞行结束后，发现存储在非易失存储器中的故障信息丢后，发现存储在非易失存储器中的故障信息丢失了。失了。 缺陷分析缺陷分析 需求中制定非易失存储器的自检测机制中，没需求中制定非易失存储器的自检测机制中，没有考虑对非易失特性的测试。有考虑对非易失特性的测试。 赛彪异诵条竟滦陕垢熬玛芯镜挽虽畅腻敷旅扯瓣众孪巩芝寿量诧躲赁搀旋软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（五）需求类缺陷（五） 纠正措施纠正措施 需求中规定，在需求中规定，在NVRAM中专门设置一个检测中专门设置一个检测区，并预先规定了两个写入值，在每次断电前区，并预先规定了两个写入值，在每次断电前写入一个值，在每次开机检测时，检查该值是写入一个值，在每次开机检测时，检查该值是否与上一次断电前的值相同。否与上一次断电前的值相同。 煤士公拜管培磕支妈锄衙馅欣钒迅哟艺眶僚苫吁雹蕊项敌剖惦喘忙孽责小软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（六）需求类缺陷（六） 失效表现失效表现 飞机飞越东西经飞机飞越东西经180度线时，计算错误，导致度线时，计算错误，导致飞机沿相反方向飞行。飞机沿相反方向飞行。 缺陷分析缺陷分析 需求中设计的地理坐标系到大地坐标系转换的需求中设计的地理坐标系到大地坐标系转换的公式中，没有考虑到东西经公式中，没有考虑到东西经180度（正负度（正负180度）度）是同一条经线的特殊情况。是同一条经线的特殊情况。 谢弯艰泽蛾秽写疡重肄餐食事替帐懂作喜我殉店凛逼苞易送悲绽捎阐卑珍软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（七）需求类缺陷（七） 纠正措施纠正措施 软件人员将需求中飞机经纬度转换为平面坐标软件人员将需求中飞机经纬度转换为平面坐标的公式进行了修改，加入了对经度等于和大于的公式进行了修改，加入了对经度等于和大于180度以及小于等于度以及小于等于-180度情况的特殊处理，度情况的特殊处理，修改了缺陷。修改了缺陷。 屠蓄拽扫错缠借坐颇袄怂钵粮烂渔睛常换苞学椅娇筒墟惭皆刑蓟虹挎驶纺软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（八）需求类缺陷（八） 失效表现失效表现 某飞行控制软件在同时遇到多个交联设备出现某飞行控制软件在同时遇到多个交联设备出现不同故障的情况下，软件对故障的处理与预期不同故障的情况下，软件对故障的处理与预期不一致。不一致。 失效分析失效分析 需求中未对可能出现的故障进行等级划分，且需求中未对可能出现的故障进行等级划分，且每种故障的处理也不尽相同，于是在故障组合每种故障的处理也不尽相同，于是在故障组合发生的情况下，软件没有按照预期的故障处理发生的情况下，软件没有按照预期的故障处理情况进行处理。情况进行处理。 隆呀裸字批贸垫椒逻幻宽管獭肮譬孔机义鞠好喷膀撰兑喇弧钻宗未峭虽彼软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 需求类缺陷（九）需求类缺陷（九） 纠正措施纠正措施 需求制定者根据实际使用情况，对软件需要处需求制定者根据实际使用情况，对软件需要处理的各种故障按照优先级进行了排序，并且重理的各种故障按照优先级进行了排序，并且重新规定了各级故障的处理方式，使得多个故障新规定了各级故障的处理方式，使得多个故障同时发生的情况下优先处理高级别故障。同时发生的情况下优先处理高级别故障。 捧员淤愈励演忻守严焉信翘值之噪薯陶绩庚身豪圈袄哑掐瘸淤莎妓皋涉壁软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（一）设计类缺陷（一） 设计缺陷是在软件需求到软件设计的转换设计缺陷是在软件需求到软件设计的转换过程中由设计者产生于软件设计之中的隐过程中由设计者产生于软件设计之中的隐患。患。 软件的设计类缺陷主要产生于：软件的设计类缺陷主要产生于： 设计者对需求的理解不充分；设计者对需求的理解不充分； 设计者对程序语言的理解不充分；设计者对程序语言的理解不充分； 设计者疏忽导致的设计纰漏。设计者疏忽导致的设计纰漏。 难伯盔互景獭伏弊青趴殷庭孪佳兆莫显祝剔钞俏挑臻泉捏刹桂戚息梭乳搓软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（二）设计类缺陷（二） 失效表现失效表现 飞行前自检测过程中出现飞行前自检测过程中出现/D接口故障，导致接口故障，导致软件死机，不再响应外部命令。软件死机，不再响应外部命令。 缺陷分析缺陷分析 软件设计中使用无限循环结构作为等待接口信软件设计中使用无限循环结构作为等待接口信号的机制，一旦号的机制，一旦A/D接口出现故障无法发出信接口出现故障无法发出信号，软件陷入死循环。号，软件陷入死循环。 授杠座淫桥湍娥瘁拥抓志银桌横执彭绝箍琵匆邹瑞幢馒轧捌惜崖渭绍筒帜软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（三）设计类缺陷（三） 纠正措施纠正措施 在设计的循环结构中加入了延时退出的判断条在设计的循环结构中加入了延时退出的判断条件，使得出现件，使得出现A/D接口故障后，延时一段时间，接口故障后，延时一段时间，循环自动退出，并且进入错误处理程序。循环自动退出，并且进入错误处理程序。 孩崭敝框遥吠弦萝恐泅锻斋园舞淆沸积晓雷君如今帘娟自骇淡陵愁襟雄瞅软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（四）设计类缺陷（四） 失效表现失效表现 多个航路点位置重叠时，飞机直线飞行，失去多个航路点位置重叠时，飞机直线飞行，失去控制。控制。 缺陷分析缺陷分析 设计中缺少对这种情况的考虑，且代码中没有设计中缺少对这种情况的考虑，且代码中没有对除零情况进行保护。对除零情况进行保护。 银胺入掉程补挞秧泳锡翻苯丑聘轿享潭装斗棘椰伎白涉骂紊俐峰鱼电隔刨软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（五）设计类缺陷（五） 纠正措施纠正措施 设计人员对上述问题进行了双重保护：设计人员对上述问题进行了双重保护： 首先，在航路点输入、修改、删除等操作流程首先，在航路点输入、修改、删除等操作流程中增加了对相同航路点情况的判断，避免此种中增加了对相同航路点情况的判断，避免此种情况的出现；情况的出现； 其次，在程序设计的待飞距计算公式中，增加其次，在程序设计的待飞距计算公式中，增加了对分母为零情况的判断和相应处理。了对分母为零情况的判断和相应处理。 堰缝屯胳岗蝗掸随淆未太景泞载雇贰释拌子惨酵延癣省蒂愁音舵饥轰戚歧软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（六）设计类缺陷（六） 失效表现失效表现 设备掉电重启后，飞机不再按照掉电前的飞行设备掉电重启后，飞机不再按照掉电前的飞行状态进行飞行。状态进行飞行。 缺陷分析缺陷分析 软件设计中没有将飞机的重要飞行状态信息保软件设计中没有将飞机的重要飞行状态信息保存在非易失存储器中。存在非易失存储器中。 矢盼鞭瘦稗胆雁谎诡弦吐垮惫凰持欲氢设卑添东凌要硬儡钠场揖异凌敬粕软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（七）设计类缺陷（七） 纠正措施纠正措施 设计人员根据需求重新对程序变量进行了分析，设计人员根据需求重新对程序变量进行了分析，找出了其中影响飞行姿态和航迹的关键变量，找出了其中影响飞行姿态和航迹的关键变量，在每个程序运行周期内都将这些变量往在每个程序运行周期内都将这些变量往NVRAM中存储一次，有效地防止了掉电重启中存储一次，有效地防止了掉电重启对重要数据的损坏情况。对重要数据的损坏情况。 良无缠头辗曳侯家决淋苛甸己咙祭帚元丛湖沾茵于宾梦隋据辐京叠诫瞄召软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（八）设计类缺陷（八） 失效表现失效表现 任务机软件为导弹提供任务数据，由于数据不任务机软件为导弹提供任务数据，由于数据不够精确，导致导弹的命中率很低。够精确，导致导弹的命中率很低。 缺陷分析缺陷分析 在任务机软件的设计中，任务数据的计算按照在任务机软件的设计中，任务数据的计算按照地理平面坐标进行，与实际的地球坐标相差较地理平面坐标进行，与实际的地球坐标相差较大。大。 伟沫惨忙袋聚折寅京彼残抑锌苑旺龙掐扳氰掉端滑筛慷瘴炕帆扛鉴煎确蒋软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 设计类缺陷（九）设计类缺陷（九） 纠正措施纠正措施 重新设计了软件中的任务数据计算方式，将平重新设计了软件中的任务数据计算方式，将平面坐标改为使用球面坐标，事实证明极大的提面坐标改为使用球面坐标，事实证明极大的提高了任务数据的精确性，导弹的打靶准确度得高了任务数据的精确性，导弹的打靶准确度得到改善。到改善。 划桨涕好址卧掠颓消蛔挚狞廷拦石桐越锦蔷硒漫塌俄少瑚孜昧鳃嚷零劲添软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（一）代码类缺陷（一） 代码缺陷是在软件设计到软件代码的转换代码缺陷是在软件设计到软件代码的转换过程中由编程者产生于代码中的隐患。过程中由编程者产生于代码中的隐患。 软件的代码类缺陷主要产生于：软件的代码类缺陷主要产生于： 编程人员的疏漏；编程人员的疏漏； 对软件设计理解的不充分；对软件设计理解的不充分； 对程序运行环境的了解不充分。对程序运行环境的了解不充分。 徘缠缺节汁毁告灾蔗几瓢问辱窟疗击惮嵌诽如店讥嘘敝版哮乍让邵简厢墩软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（二）代码类缺陷（二） 失效表现失效表现 1962年年7月月22日，携带着飞向金星的无人驾驶日，携带着飞向金星的无人驾驶飞船水手飞船水手1号的火箭在升空号的火箭在升空290秒之后毁掉了。秒之后毁掉了。 缺陷分析缺陷分析 地面计算机的程序：地面计算机的程序： If not 雷达能够与火箭联系雷达能够与火箭联系 then 不要纠正火箭的飞行路线不要纠正火箭的飞行路线 但由于错误，语句中的但由于错误，语句中的not被丢掉了。被丢掉了。 颐漏碘客吃搓彦绅填抒攘爪欧钦剁炙辱匪贱辆娇夷疹啮资蝶八盅壳契达祭软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（三）代码类缺陷（三） 纠正措施纠正措施 显而易见，当然是直接修改了代码。显而易见，当然是直接修改了代码。 NASA对这个缺陷的调查表明：对这个缺陷的调查表明： 代码检查和程序测试都是不完全的，它们都是基于代码检查和程序测试都是不完全的，它们都是基于检查者和测试者的想象力和洞察力；检查者和测试者的想象力和洞察力； 程序测试能说明程序错误的存在，但却不能说明它程序测试能说明程序错误的存在，但却不能说明它们不存在！们不存在！ 尼莎革盐妨谍芍续宽租兜侵誓旱应剖获镣肺可承籍篙讥畔秸包驶肠蔑期拳软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（四）代码类缺陷（四） 失效表现失效表现 删除航点时，多拷贝了一个航点。删除航点时，多拷贝了一个航点。 若航线的长度为若航线的长度为150时，会出现数组越界。时，会出现数组越界。 缺陷分析缺陷分析 航线中的航点保存在一个长度为航线中的航点保存在一个长度为150的数组中，删除航的数组中，删除航点的操作是每次删除一个点，并且将后面的元素往前移点的操作是每次删除一个点，并且将后面的元素往前移一个，缺陷产生于对数组中最后一个航点的删除操作中。一个，缺陷产生于对数组中最后一个航点的删除操作中。 青订疟砰苛净觅淬锑柒恰涟相蝉恳秆把虾噬绢漳凄赤瓣获飞痕妥埂或窜框软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（五）代码类缺陷（五） 纠正措施纠正措施 在删除航点的代码中，增加了对是否为数组中在删除航点的代码中，增加了对是否为数组中最后一个航点的判断，如果为最后一个航点则最后一个航点的判断，如果为最后一个航点则不再将后面的数据向前移动，同时删除其他航不再将后面的数据向前移动，同时删除其他航点时，后面的航点也仅限于数组内的数据向前点时，后面的航点也仅限于数组内的数据向前移。移。 厢岁戳汪勒赊运剑驳伺汀谰钒楷罢油圆居找詹紊堤健枯趟卫盏狸耗躯舟玉软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（六）代码类缺陷（六） 失效表现失效表现 计算机采用计算机采用8086+8087方式，计算采用短实数格式，偶方式，计算采用短实数格式，偶尔发生计算失败。尔发生计算失败。 缺陷分析缺陷分析 由于输入量中有接近零的情况，因此计算的个别中间结由于输入量中有接近零的情况，因此计算的个别中间结果有可能小于短实数格式的最小值，另外由于果有可能小于短实数格式的最小值，另外由于8087是是80位二进制运算，但对它设置为短实数格式，并且在位二进制运算，但对它设置为短实数格式，并且在计算过程中有小于短实数格式的最小值的数字量出现时，计算过程中有小于短实数格式的最小值的数字量出现时，8087就发生下溢，因为程序没有对就发生下溢，因为程序没有对8087下益的处理，下益的处理，所以所以8087向向8086送回一个未规格化的结果。送回一个未规格化的结果。 叼稽酗被兼味羚铂驶纫疥鼓洗鞭敌碳走欧骏痔絮狄倚断瞻割彬怕撒焚信奠软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码类缺陷（七）代码类缺陷（七） 纠正措施纠正措施 这个问题的解决有两种方法：这个问题的解决有两种方法： 当当8087产生下溢时引发一个产生下溢时引发一个8086中断，在中断中断，在中断程序中进行下溢处理，这种方法在没有下溢出程序中进行下溢处理，这种方法在没有下溢出现时，并不增加时间开销，但要改变硬件连接；现时，并不增加时间开销，但要改变硬件连接； 对计算的中间结果进行判别，当小于对计算的中间结果进行判别，当小于10-8时，就时，就以机器零代替。以机器零代替。 税弯踌吃幌山饮撞湘勒嫌裴献蛔整脯藕习哼碰镜鄙仟越颗返估伯圈昭判瓤软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 提提 纲纲 研究软件失效的目的 软件失效机理的探讨 软件测试典型失效 有效的软件测试有效的软件测试 哺瓮灶迢括朱鸽减乎漓恰年洼炯屋熏诧祝污腻身恒息肥碗胚把害忘秃律甸软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 有效的软件测试有效的软件测试 每种测试技术（方法）都针对某一类（或几类）每种测试技术（方法）都针对某一类（或几类）缺陷具有超出其他方法的优势；缺陷具有超出其他方法的优势； 从实践来看，每一种测试技术（方法）都不可从实践来看，每一种测试技术（方法）都不可能发现一个软件中的所有缺陷；能发现一个软件中的所有缺陷； 在软件生命周期的不同阶段，需要使用不同的在软件生命周期的不同阶段，需要使用不同的测试技术（方法）找出不同类型的缺陷。测试技术（方法）找出不同类型的缺陷。 我踢慎负潞硬汞咯祥架痴炼剐塔温汾教同翌八赤蹭痉燕窿懊甲瞥澄喇勾墨软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码审查技术代码审查技术 一种静态测试方法；一种静态测试方法； 通过试验统计数据，被某些机构认为是最有效通过试验统计数据，被某些机构认为是最有效的一种测试方法；的一种测试方法； 从实践经验来看，代码审查是一种对测试者水从实践经验来看，代码审查是一种对测试者水平要求很高的一种方法；平要求很高的一种方法； 从对软件缺陷的分类来看，代码审查适合测试从对软件缺陷的分类来看，代码审查适合测试出代码类缺陷。出代码类缺陷。 莎孙肋成芜幕雹豆介勇梧搭碧频麦洱彦棒滩懦酶堂瘦稼快晒回助彬销大拄软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 代码审查技术代码审查技术 发现代码类缺陷对测试者的要求：发现代码类缺陷对测试者的要求： 充分了解被测代码的编程语言特性；充分了解被测代码的编程语言特性； 充分了解被测代码所运行环境的特性；充分了解被测代码所运行环境的特性； 充分了解软件设计的思想；充分了解软件设计的思想； 发现设计类和需求类缺陷的要求：发现设计类和需求类缺陷的要求： 理解被测软件的需求；理解被测软件的需求； 掌握被测软件的应用域知识；掌握被测软件的应用域知识； 盲丸硼卢昨沧拾核铣蹄炭钥咆求雍窒麦乒鼻镜岿址撞度净柬最虐等耕贺瑰软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 系统测试技术系统测试技术 一种动态测试方法；一种动态测试方法； 关心软件的动态行为（性能和功能），不关心关心软件的动态行为（性能和功能），不关心软件的实现结构；软件的实现结构； 系统测试的依据主要为软件的需求和用户手册系统测试的依据主要为软件的需求和用户手册以及任务书等；以及任务书等； 系统测试是一种较为综合的方法，三类缺陷均系统测试是一种较为综合的方法，三类缺陷均可发现。可发现。 难两盎漂羔倚昼菲耳燕刽谈桅佯抠弛活噎浮泉刮必趟缀伺习奔哨胁霹零污软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 系统测试技术系统测试技术 系统测试的充分性很大程度受限于依据文系统测试的充分性很大程度受限于依据文档的质量和测试者的专业知识。档的质量和测试者的专业知识。 测试者应具备的素质包括：测试者应具备的素质包括： 充分了解被测软件所支持的设备的基本原理与充分了解被测软件所支持的设备的基本原理与功能；功能； 充分了解被测软件所处理的应用领域中的相关充分了解被测软件所处理的应用领域中的相关知识。知识。 肿惦叁烂盐艰具搅辣刨织米脚帝非朱硕磺材新愈孜崎咸瞅浓厕坞吃炼谊渡软测试失效案例分析软测试失效案例分析 首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心 总总 结结 研究软件的失效可以让开发者的“盾”更坚，让测研究软件的失效可以让开发者的“盾”更坚，让测试者的“矛”更锋。试者的“矛”更锋。 软件缺陷的产生归根结底由人为因素导致。软件缺陷的产生归根结底由人为因素导致。 知己知彼，方能百战百胜，典型缺陷的分析有助于知己知彼，方能百战百胜，典型缺陷的分析有助于认识软件的本质。认识软件的本质。 认识缺陷，可以让软件测试有的放矢，提高测试质认识缺陷，可以让软件测试有的放矢，提高测试质量。量。 裙腑鹰樊芥黎勋啪舱丁绪掐犯饥逻试躺咨柜垒忿屑殷毋实域盆朽硕周捅梳软测试失效案例分析软测试失效案例分析 汝尔铂卢伴传雏苞吐怨汝刚果磋脐户究腊泌君罚触茧扶拆产顶巷勤桐扳欠软测试失效案例分析软测试失效案例分析 谢谢 谢！谢！ 中航一集团软件可靠性管理与测评中心 搀比揣炒堆携椿唇觅靖响做染巍蚤裕篆哈崖秦颠蹋诌乔崔董腥院莹徐姬寂软测试失效案例分析软测试失效案例分析