软件全生命周期的测试支持

1、防错防错 查错查错 排错排错软件全生命周期的测试支持软件全生命周期的测试支持软件缺陷学软件缺陷学软件全生命周期的测试方案软件全生命周期的测试方案何时产生软件缺陷为何会产生软件缺陷软件缺陷是如何变化的什么时候测试怎么测试用什么来测试 12架F22猛禽按计划转场飞往日本嘉手纳空军基地，途中将飞越国际日期变更线国际日期变更线， 即要从“今天”飞往“明天”， 在飞越变更线后，猛禽机载系统仍在显示的“今天”和卫星导航系统时钟显示的“明天”无法同步，12架猛禽被迫返航。机载计算机软件机载计算机软件170170万万条源代码程序中没有一条可以对条源代码程序中没有一条可以对电脑时钟电脑时钟进行相应进行相应调整，

2、所以无法正确处理因此出现的日期和时区变更问题。调整，所以无法正确处理因此出现的日期和时区变更问题。软件需求软件设计软件编码软件用户软件软件产品产品缺缺 陷陷缺缺 陷陷缺缺 陷陷设计类缺陷设计类缺陷需求类缺陷需求类缺陷编码类缺陷编码类缺陷知识问题知识问题关注度问题关注度问题策略问题策略问题人的认识问题人的认识问题人实施的动作人实施的动作创造、理解、修改创造、理解、修改需求分析需求分析概要设计概要设计详细设计详细设计编码调试编码调试创造、理解、修改创造、理解、修改创造、理解、修改创造、理解、修改实现、重用、修改实现、重用、修改开发阶段开发阶段文档规约文档规约思维模型思维模型环境制品环境制品库库人工

3、产品人工产品算法算法数据结构数据结构语言结构语言结构设计缺陷设计缺陷需求缺陷需求缺陷编码缺陷编码缺陷缺陷产生的原因缺陷产生的原因 在空间辐射环境中，一些能谱宽、分布广的高能级重粒子和太阳耀斑质子，对具有存储记忆功能的半导体器件会产生电离现象，引起晶体管的敏感区沉积足够多的电荷，造成CPU寄存器或存储器RAM单元发生二进制逻辑位翻转。 1962年7月22日，携带着飞向金星的无人驾驶飞船水手1号的火箭在升空290秒之后偏离轨道了。地面计算机的程序：地面计算机的程序：If notnot 雷达能够与火箭联系 then 不要纠正火箭的飞行路线 但由于人为人为错误，语句中的not被丢掉了。在任务机软件的设

4、计中，任务数据的计算按照地理在任务机软件的设计中，任务数据的计算按照地理平面坐标进行，与实际的地球坐标相差较大平面坐标进行，与实际的地球坐标相差较大。缺缺 陷陷故故 障障失失 效效物理物理环境环境使用者使用者其他其他设备设备软件环境软件环境激活激活特殊的输入特殊的输入导致软件的特殊路径导致软件的特殊路径演变演变缺少对特殊路缺少对特殊路径的防范措施径的防范措施容错容错机制机制自检测自检测冗余冗余机制机制软件系统软件系统功能、性能的的丧失、任务功能、性能的的丧失、任务的失败、对环境的不利影响的失败、对环境的不利影响缺陷的演化过程缺陷的演化过程缺陷产生的原因缺陷产生的原因缺陷的活动规律缺陷的活动规律

5、缺陷产生的时机缺陷产生的时机软件缺陷软件缺陷预防缺陷何时测试如何测试对软件缺陷的认识对软件缺陷的认识全生命周期软件测试模型的三要素全生命周期软件测试模型的三要素尽早测试原则尽早测试原则充分测试原则充分测试原则自动化测试原则自动化测试原则需求分析软件设计软件编码源代码源代码动态单元测试动态单元测试代码静态分析代码静态分析系统测试系统测试定制规则定制规则预防缺陷预防缺陷软件全生命周期的测试模型软件全生命周期的测试模型软软 件件注入缺陷注入缺陷应用应用测试测试缺陷信息缺陷信息缺陷模式库缺陷模式库收集收集整理整理组织组织分析分析归纳归纳设计与编码规范设计与编码规范测试模式测试模式分析分析归纳归纳预防错

6、误预防错误试验试验缺陷预防的原理缺陷预防的原理 1991年2月25日，美国爱国者导弹，拦截伊拉克的飞毛腿导弹失败。击中美国的一个兵营，28人死亡。0.1 与 0.1的差距误差0.00000000000000000000000110011002能够造成距离相差687687米。浮点数在计算机中的不完全表示不完全表示；浮点数运算的舍入与切断舍入与切断；浮点数在浮点寄存器与内存之间转换时转换时的较大误差；并非所有的浮点比较都会出现错误，但是参与运算后 的浮点数比较容易出现误差；不允许对浮点数进行相等或者不相等的比较，即使是非 直接的比较也是不允许的。例如：float32_t x,y;if (x = y

7、)循环的控制表达式不应该包含浮点数类型； 模式匹配的规则检查模式匹配的规则检查 C+test是C/C+编程规范自动检查工具，内置851条业界规则 图形化地定制自己的规则MISRA2004-13_3-3Floating-point expressions shall not be tested for equality or inequality禁止对浮点数类型的变量或表达式做比较操作另外：另外：u 浮点型操作数不是被扩充为更多位数的同符号浮点数； u 表达式是复杂表达式；u 表达式是函数的参数； u 表达式是函数的返回表达式。Parasoft公司的公司的C+Test如何满足静态测试的要求如何满

8、足静态测试的要求数据流分析数据流分析 Bug Detective Bug Detective 通过“热点”技术在静态分析阶段发现动态运行时的错误 用回溯的方式自动模拟运行程序中的执行路径 检测到的缺陷包括，使用未初始化的内存、引用空指针、除数为零、内存和资源泄漏 从“可疑点”到“可疑路径”软软 件件注入缺陷注入缺陷软软 件件环境环境环境环境环境环境环境环境测试模式库测试模式库测试方法测试方法测试环境测试环境实现测试意图实现测试意图- -策略策略实现测试意图实现测试意图- -工具工具软件测试的意图软件测试的意图 使用模式，使用模式，确定意图确定意图使使用用分分析析试试验验动态测试的基本原理动态测

9、试的基本原理 C+testC+test能自动建立单元测试环境，自动分析代码，自能自动建立单元测试环境，自动分析代码，自动生成测试用例并测试驱动程序和桩函数，自动执行白动生成测试用例并测试驱动程序和桩函数，自动执行白盒、黑盒和回归测试。盒、黑盒和回归测试。白盒测试（结构性测试白盒测试（结构性测试 )C+test提供了一种有效并且高效的方法执行白盒测试。完全自动执行所有的白盒测试过程，自动生成和执行精心设计的测试用例。自动标记任何运行失败，并以一种简单的图示化结构显示。然后自动保存这些测试用例，能够方便地用于以后的回归测试。Parasoft公司的公司的C+Test如何满足动态测试的要求如何满足动态

10、测试的要求黑盒测试（功能性测试）黑盒测试（功能性测试） C+test能根据程序功能定义好的每个入口，自动生成大量的功能性的测试用例，对程序进行功能测试，从而检测程序的功能。通过自动化黑盒测试的大部分操作，减轻了这类测试的负担。 回归测试（代码的完整性测试）回归测试（代码的完整性测试） C+test首次测试某个类时，自动保存其测试和测试参数。当需要执行回归测试时，你可以打开合适的项目和文件，运行所有原来的白盒和黑盒测试用例，C+test会自动运行完全相同的测试用例和测试参数，并告之发现的任何问题。 动态的内存检测动态的内存检测 Insure+是测试运行中程序的最佳自动化测试工具，它可检测出内存错

11、误，如：内存混乱、内存泄漏、内存分配错误、变量初始化错误、变量定义冲突、指针错误、库错误和逻辑错误等难于差别的错误。 GESTE为嵌入式软件提供通用的仿真测试环境，支持对嵌入式软件进行实时、闭环、非侵入式的系统测试。在通用性的基础上，支持并辅助用户的二次开发，从而满足专用测试需求 。通用嵌入式软件仿真测试环境通用嵌入式软件仿真测试环境GESTEGESTE设备设备3设备设备1设备设备2SUT飞行仿真飞行仿真模型模型交联设备交联设备模型模型交联设备交联设备模型模型SUTGESTE GESTE 对动态仿真测试的支持对动态仿真测试的支持咨询与培训咨询与培训 有资质的第三方测评机构 内部测试的咨询，培训和辅导 软件测试技术和应用培训 软件工程化培训可靠性工程 可靠性技术咨询 可靠性工程培训北京伟晨豪嘉科技有限责任公司北京伟晨豪嘉科技有限责任公司www.antares-北京市海淀区北四环中路北京市海淀区北四环中路2