软件测试失效案例分析.ppt

软件测试失效案例分析 中航一集团软件可靠性管理与测评中心 王轶辰 报 告 提 纲 研究软件失效的目的 软件失效的产生机理 软件测试典型失效 有效的软件测试 研究软件失效的目的 软件质量是软件的生命； 软件失效是影响软件质量的关键； 软件缺陷是导致软件失效的根本原因； 软件缺陷是软件系统的根本属性之一； 软件缺陷归根结底由人为因素造成。 研究软件失效的目的 目前的软件开发仍然是一种“个人行为”，一个人的经验、知识和能力总是有限的； 软件的个体特征体现在两个方面：应用域的特殊性和编程者的特征； 每一个具体软件所处理的应用域问题各不相同，软件表现个体特征。 研究软件失效的目的 缺陷分析需要总结各种各样的缺陷，找到一种对“群体行为”的分析； 缺陷研究的结果应该“知识化”，并建立某种形式的缺陷知识库； 将群体的知识固化下来，有利于指导个体的行为。 提 纲 研究软件失效的目的 软件失效机理的探讨 软件测试典型失效 有效的软件测试 软件失效机理的探讨 缺陷产生的原因可以归结为软件生产者的的错误所致； 缺陷的产生出现在软件生产过程中的各个环节，不同的生产者由于各自知识的有限而制造出来； 软件的缺陷具有相对性和演化性。 软件失效机理的探讨 如图所示软件开发的不同阶段由于执行者对上层设计的认识不充分而导致本阶段的软件实现与上一层的设计意图不相符，即产生了缺陷。 提 纲 研究软件失效的目的 软件失效机理的探讨 软件测试典型失效 有效的软件测试 软件测试典型失效 从以下两个方面描述一个失效或缺陷： 失效表现 — 软件动态运行中所表现出来的功能或性能方面的欠缺； 缺陷分析 — 导致软件失效的原因所在； 纠正措施 — 软件测试者提出的修改建议或开发方进行的改正方案。 需求类缺陷（一） 需求缺陷是在软件需求到软件设计的转换过程中由需求制定者产生于软件需求之中的隐患； 软件的需求类缺陷主要产生于： 软件应用领域的不确知性； 设计者对软件应用领域认识不充分； 设计者考虑不周导致的需求缺陷。 需求类缺陷（二） 失效表现 在空间辐射环境中，计算机按照一个不确定的流程执行，导致程序执行逻辑混乱。 缺陷分析 在空间辐射环境中，一些能谱宽、分布广的高能级重粒子和太阳耀斑质子，对具有存储记忆功能的半导体器件会产生电离现象，引起晶体管的敏感区沉积足够多的电荷，造成CPU寄存器或存储器RAM单元发生二进制逻辑位翻转。 需求类缺陷（三） 纠正措施 增强器件的抗单粒子翻转能力； 对重要和关键的程序段，增加程序复执和指令复执等容错设计； 对主要的控制参数和状态标志等，采用先三取二多数表决后使用，并增加截取有效位数、数据平滑滤波、域值分析、微量修正和数据冗余等容错设计。 需求类缺陷（四） 失效表现 飞行过程中，设备出现掉电情况，在飞行结束后，发现存储在非易失存储器中的故障信息丢失了。 缺陷分析 需求中制定非易失存储器的自检测机制中，没有考虑对非易失特性的测试。 需求类缺陷（五） 纠正措施 需求中规定，在NVRAM中专门设置一个检测区，并预先规定了两个写入值，在每次断电前写入一个值，在每次开机检测时，检查该值是否与上一次断电前的值相同。 需求类缺陷（六） 失效表现 飞机飞越东西经180度线时，计算错误，导致飞机沿相反方向飞行。 缺陷分析 需求中设计的地理坐标系到大地坐标系转换的公式中，没有考虑到东西经180度（正负180度）是同一条经线的特殊情况。 需求类缺陷（七） 纠正措施 软件人员将需求中飞机经纬度转换为平面坐标的公式进行了修改，加入了对经度等于和大于180度以及小于等于-180度情况的特殊处理，修改了缺陷。 需求类缺陷（八） 失效表现 某飞行控制软件在同时遇到多个交联设备出现不同故障的情况下，软件对故障的处理与预期不一致。 失效分析 需求中未对可能出现的故障进行等级划分，且每种故障的处理也不尽相同，于是在故障组合发生的情况下，软件没有按照预期的故障处理情况进行处理。 需求类缺陷（九） 纠正措施 需求制定者根据实际使用情况，对软件需要处理的各种故障按照优先级进行了排序，并且重新规定了各级故障的处理方式，使得多个故障同时发生的情况下优先处理高级别故障。 设计类缺陷（一） 设计缺陷是在软件需求到软件设计的转换过程中由设计者产生于软件设计之中的隐患。 软件的设计类缺陷主要产生于： 设计者对需求的理解不充分； 设计者对程序语言的理解不充分； 设计者疏忽导致的设计纰漏。 设计类缺陷（二） 失效表现 飞行前自检测过程中出现Ａ/D接口故障，导致软件死机，不再响应外部命令。 缺陷分析 软件设计中使用无限循环结构作为等待接口信号的机制，一旦A/D接口出现故障无法发出信号，软件陷入死循环。