软件测试失效案例分析讲课教案.ppt
《软件测试失效案例分析讲课教案.ppt》由会员分享,可在线阅读,更多相关《软件测试失效案例分析讲课教案.ppt(45页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、软件测试失效案例分析首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心研究软件失效的目的研究软件失效的目的l目前的软件开发仍然是一种目前的软件开发仍然是一种“个人行为个人行为”,一个人的经验、知识和能力总是有限的;,一个人的经验、知识和能力总是有限的;l软件的个体特征体现在两个方面:应用域软件的个体特征体现在两个方面:应用域的特殊性和编程者的特征;的特殊性和编程者的特征;l每一个具体软件所处理的应用域问题各不每一个具体软件所处理的应用域问题各不相同,软件表现个体特征。相同,软件表现个体特征。首届军工产品软件
2、测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心研究软件失效的目的研究软件失效的目的l缺陷分析需要总结各种各样的缺陷,找到缺陷分析需要总结各种各样的缺陷,找到一种对一种对“群体行为群体行为”的分析;的分析;l缺陷研究的结果应该缺陷研究的结果应该“知识化知识化”,并建立,并建立某种形式的缺陷知识库;某种形式的缺陷知识库;l将群体的知识固化下来,有利于指导个体将群体的知识固化下来,有利于指导个体的行为。的行为。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软
3、件可靠性管理与测评中心提提 纲纲研究软件失效的目的软件失效机理的探讨软件失效机理的探讨软件测试典型失效有效的软件测试首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心软件失效机理的探讨软件失效机理的探讨l缺陷产生的原因可以归结为软件生产者的缺陷产生的原因可以归结为软件生产者的的错误所致;的错误所致;l缺陷的产生出现在软件生产过程中的各个缺陷的产生出现在软件生产过程中的各个环节,不同的生产者由于各自知识的有限环节,不同的生产者由于各自知识的有限而制造出来;而制造出来;l软件的缺陷具有相对性和演化性。软件的缺陷
4、具有相对性和演化性。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心软件失效机理的探讨软件失效机理的探讨l如图所示软件开发的不同阶段由于执行者如图所示软件开发的不同阶段由于执行者对上层设计的认识不充分而导致本阶段的对上层设计的认识不充分而导致本阶段的软件实现与上一层的设计意图不相符,即软件实现与上一层的设计意图不相符,即产生了缺陷。产生了缺陷。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心提提 纲纲研究软件失效的目
5、的软件失效机理的探讨软件测试典型失效软件测试典型失效有效的软件测试首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心软件测试典型失效软件测试典型失效l从以下两个方面描述一个失效或缺陷:从以下两个方面描述一个失效或缺陷:失效表现失效表现 软件动态运行中所表现出来的功软件动态运行中所表现出来的功能或性能方面的欠缺;能或性能方面的欠缺;缺陷分析缺陷分析 导致软件失效的原因所在;导致软件失效的原因所在;纠正措施纠正措施 软件测试者提出的修改建议或开软件测试者提出的修改建议或开发方进行的改正方案。发方进行的改正方案。
6、首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(一)需求类缺陷(一)l需求缺陷是在软件需求到软件设计的转换需求缺陷是在软件需求到软件设计的转换过程中由需求制定者产生于软件需求之中过程中由需求制定者产生于软件需求之中的隐患;的隐患;l软件的需求类缺陷主要产生于:软件的需求类缺陷主要产生于:软件应用领域的不确知性;软件应用领域的不确知性;设计者对软件应用领域认识不充分;设计者对软件应用领域认识不充分;设计者考虑不周导致的需求缺陷。设计者考虑不周导致的需求缺陷。首届军工产品软件测试技术专题研讨会首届
7、军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(二)需求类缺陷(二)l失效表现失效表现在空间辐射环境中,计算机按照一个不确定的流程执行,在空间辐射环境中,计算机按照一个不确定的流程执行,导致程序执行逻辑混乱。导致程序执行逻辑混乱。l缺陷分析缺陷分析在空间辐射环境中,一些能谱宽、分布广的高能级重粒在空间辐射环境中,一些能谱宽、分布广的高能级重粒子和太阳耀斑质子,对具有存储记忆功能的半导体器件子和太阳耀斑质子,对具有存储记忆功能的半导体器件会产生电离现象,引起晶体管的敏感区沉积足够多的电会产生电离现象,引起晶体管的敏感区沉积足够多的电
8、荷,造成荷,造成CPU寄存器或存储器寄存器或存储器RAM单元发生二进制逻单元发生二进制逻辑位翻转。辑位翻转。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(三)需求类缺陷(三)l纠正措施纠正措施增强器件的抗单粒子翻转能力;增强器件的抗单粒子翻转能力;对重要和关键的程序段,增加程序复执和指令对重要和关键的程序段,增加程序复执和指令复执等容错设计;复执等容错设计;对主要的控制参数和状态标志等,采用先三取对主要的控制参数和状态标志等,采用先三取二多数表决后使用,并增加截取有效位数、数二多数表决后使用
9、,并增加截取有效位数、数据平滑滤波、域值分析、微量修正和数据冗余据平滑滤波、域值分析、微量修正和数据冗余等容错设计。等容错设计。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(四)需求类缺陷(四)l失效表现失效表现飞行过程中,设备出现掉电情况,在飞行结束飞行过程中,设备出现掉电情况,在飞行结束后,发现存储在非易失存储器中的故障信息丢后,发现存储在非易失存储器中的故障信息丢失了。失了。l缺陷分析缺陷分析需求中制定非易失存储器的自检测机制中,没需求中制定非易失存储器的自检测机制中,没有考虑对非易失
10、特性的测试。有考虑对非易失特性的测试。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(五)需求类缺陷(五)l纠正措施纠正措施需求中规定,在需求中规定,在NVRAM中专门设置一个检测中专门设置一个检测区,并预先规定了两个写入值,在每次断电前区,并预先规定了两个写入值,在每次断电前写入一个值,在每次开机检测时,检查该值是写入一个值,在每次开机检测时,检查该值是否与上一次断电前的值相同。否与上一次断电前的值相同。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠
11、性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(六)需求类缺陷(六)l失效表现失效表现飞机飞越东西经飞机飞越东西经180度线时,计算错误,导致度线时,计算错误,导致飞机沿相反方向飞行。飞机沿相反方向飞行。l缺陷分析缺陷分析需求中设计的地理坐标系到大地坐标系转换的需求中设计的地理坐标系到大地坐标系转换的公式中,没有考虑到东西经公式中,没有考虑到东西经180度(正负度(正负180度)度)是同一条经线的特殊情况。是同一条经线的特殊情况。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(七
12、)需求类缺陷(七)l纠正措施纠正措施软件人员将需求中飞机经纬度转换为平面坐标软件人员将需求中飞机经纬度转换为平面坐标的公式进行了修改,加入了对经度等于和大于的公式进行了修改,加入了对经度等于和大于180度以及小于等于度以及小于等于-180度情况的特殊处理,度情况的特殊处理,修改了缺陷。修改了缺陷。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(八)需求类缺陷(八)l失效表现失效表现某飞行控制软件在同时遇到多个交联设备出现某飞行控制软件在同时遇到多个交联设备出现不同故障的情况下,软件对故障的处理
13、与预期不同故障的情况下,软件对故障的处理与预期不一致。不一致。l失效分析失效分析需求中未对可能出现的故障进行等级划分,且需求中未对可能出现的故障进行等级划分,且每种故障的处理也不尽相同,于是在故障组合每种故障的处理也不尽相同,于是在故障组合发生的情况下,软件没有按照预期的故障处理发生的情况下,软件没有按照预期的故障处理情况进行处理。情况进行处理。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心需求类缺陷(九)需求类缺陷(九)l纠正措施纠正措施需求制定者根据实际使用情况,对软件需要处需求制定者根据实际使用情
14、况,对软件需要处理的各种故障按照优先级进行了排序,并且重理的各种故障按照优先级进行了排序,并且重新规定了各级故障的处理方式,使得多个故障新规定了各级故障的处理方式,使得多个故障同时发生的情况下优先处理高级别故障。同时发生的情况下优先处理高级别故障。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心设计类缺陷(一)设计类缺陷(一)l设计缺陷是在软件需求到软件设计的转换设计缺陷是在软件需求到软件设计的转换过程中由设计者产生于软件设计之中的隐过程中由设计者产生于软件设计之中的隐患。患。l软件的设计类缺陷主要产生于
15、:软件的设计类缺陷主要产生于:设计者对需求的理解不充分;设计者对需求的理解不充分;设计者对程序语言的理解不充分;设计者对程序语言的理解不充分;设计者疏忽导致的设计纰漏。设计者疏忽导致的设计纰漏。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心设计类缺陷(二)设计类缺陷(二)l失效表现失效表现飞行前自检测过程中出现飞行前自检测过程中出现/D接口故障,导致接口故障,导致软件死机,不再响应外部命令。软件死机,不再响应外部命令。l缺陷分析缺陷分析软件设计中使用无限循环结构作为等待接口信软件设计中使用无限循环结构作
16、为等待接口信号的机制,一旦号的机制,一旦A/D接口出现故障无法发出信接口出现故障无法发出信号,软件陷入死循环。号,软件陷入死循环。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心设计类缺陷(三)设计类缺陷(三)l纠正措施纠正措施在设计的循环结构中加入了延时退出的判断条在设计的循环结构中加入了延时退出的判断条件,使得出现件,使得出现A/D接口故障后,延时一段时间,接口故障后,延时一段时间,循环自动退出,并且进入错误处理程序。循环自动退出,并且进入错误处理程序。首届军工产品软件测试技术专题研讨会首届军工产品软
17、件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心设计类缺陷(四)设计类缺陷(四)l失效表现失效表现多个航路点位置重叠时,飞机直线飞行,失去多个航路点位置重叠时,飞机直线飞行,失去控制。控制。l缺陷分析缺陷分析设计中缺少对这种情况的考虑,且代码中没有设计中缺少对这种情况的考虑,且代码中没有对除零情况进行保护。对除零情况进行保护。首届军工产品软件测试技术专题研讨会首届军工产品软件测试技术专题研讨会 中航一集团软件可靠性管理与测评中心中航一集团软件可靠性管理与测评中心设计类缺陷(五)设计类缺陷(五)l纠正措施纠正措施设计人员对上述问题进行了双重保护:设计人员
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 软件 测试 失效 案例 分析 讲课 教案
限制150内