白盒测试-赛若科技.ppt

防错 – 查错 – 排错 软件全生命周期的测试支持 软件缺陷学 软件全生命周期的测试方案 何时产生软件缺陷 为何会产生软件缺陷 软件缺陷是如何变化的 什么时候测试 怎么测试 用什么来测试 12架F22猛禽按计划转场飞往日本嘉手纳空军基地，途中将飞越国际日期变更线， 即要从“今天”飞往“明天”， 在飞越变更线后，猛禽机载系统仍在显示的“今天”和卫星导航系统时钟显示的“明天”无法同步，12架猛禽被迫返航。 机载计算机软件170万条源代码程序中没有一条可以对电脑时钟进行相应调整，所以无法正确处理因此出现的日期和时区变更问题。 缺 陷 缺 陷 缺 陷 设计类缺陷 需求类缺陷 编码类缺陷 知识问题 关注度问题 策略问题 人的认识问题 人实施的动作 创造、理解、修改 需求分析 概要设计 详细设计 编码调试 创造、理解、修改 创造、理解、修改 实现、重用、修改 开发阶段 文档规约 思维模型 环境制品 库 人工产品 算法 数据结构 语言结构 设计缺陷 需求缺陷 编码缺陷 缺陷产生的原因 在空间辐射环境中，一些能谱宽、分布广的高能级重粒子和太阳耀斑质子，对具有存储记忆功能的半导体器件会产生电离现象，引起晶体管的敏感区沉积足够多的电荷，造成CPU寄存器或存储器RAM单元发生二进制逻辑位翻转。 1962年7月22日，携带着飞向金星的无人驾驶飞船水手1号的火箭在升空290秒之后偏离轨道了。 地面计算机的程序： If not 雷达能够与火箭联系 then 不要纠正火箭的飞行路线 但由于人为错误，语句中的not被丢掉了。 在任务机软件的设计中，任务数据的计算按照地理平面坐标进行，与实际的地球坐标相差较大。 缺 陷 故 障 失 效 物理环境 使用者 其他设备 软件环境 激活 特殊的输入 导致软件的特殊路径 演变 缺少对特殊路径的防范措施 容错机制 自检测 冗余机制 软件系统 功能、性能的的丧失、任务的失败、对环境的不利影响 缺陷的演化过程 缺陷产生的原因 缺陷的活动规律 缺陷产生的时机 软件缺陷 预防缺陷 何时测试 如何测试 对软件缺陷的认识 全生命周期软件测试模型的三要素 尽早测试原则 充分测试原则 自动化测试原则 需求分析 软件设计 软件编码 源代码 动态单元测试 代码静态分析 系统测试 定制规则 预防缺陷 软件全生命周期的测试模型 软 件 注入缺陷 应用 测试 缺陷信息 收集 整理 组织 分析 归纳 设计与编码规范 测试模式 分析 归纳 预防错误 试验 缺陷预防的原理 1991年2月25日，美国爱国者导弹，拦截伊拉克的飞毛腿导弹失败。击中美国的一个兵营，28人死亡。 0.1 与 0.1的差距 误差0.000000000000000000000001100[1100]…2 能够造成距离相差687米。 浮点数在计算机中的不完全表示； 浮点数运算的舍入与切断； 浮点数在浮点寄存器与内存之间转换时的较大误差； 并非所有的浮点比较都会出现错误，但是参与运算后 的浮点数比较容易出现误差； 不允许对浮点数进行相等或者不相等的比较，即使是非 直接的比较也是不允许的。 例如：float32_t x,y;…if (x = y){…} 循环的控制表达式不应该包含浮点数类型； 模式匹配的规则检查 C++test?是C/C++编程规范自动检查工具，内置851条业界规则 图形化地定制自己的规则 [MISRA2004-13_3-3] Floating-point expressions shall not be tested for equality or inequality 禁止对浮点数类型的变量或表达式做比较操作 另外： 浮点型操作数不是被扩充为更多位数的同符号浮点数； 表达式是复杂表达式； 表达式是函数的参数； 表达式是函数的返回表达式。 Parasoft公司的C++Test如何满足静态测试的要求 数据流分析 Bug Detective 通过“热点”技术在静态分析阶段发现动态运行时的错误 用回溯的方式自动模拟运行程序中的执行路径 检测到的缺陷包括，使用未初始化的内存、引用空指针、除数为零、内存和资源泄漏 从“可疑点”到“可疑路径” 软 件 注入缺陷 测试模式库 测试方法 测试环境 实现测试意图-策略 实现测试意图-工具 软件测试的意图 使用模式，确定意图 使用 分析 试验 动态测试的基本原理 C++test?能自动建立单元测试环境，自动分析代码，自动生成测试用例并测试驱动程序和桩函数，自动执行白盒、黑盒和回归测试。 白盒测试（结构性测试 ) C++test?提供了一种有效并且高效的方法执行白盒测试。完全自动执行所有的白盒测试过程，自动生成和执行精心设计的测试用例。