逻辑覆盖路径分析白盒测试方法.pptVIP

白盒测试方法 白盒测试 、动态测试基本概念 三、逻辑覆盖 四、路径分析  一、自盒测试 此方法把测试对象看做一个透明的盒 子,它允许测试人员利用程序内部的 逻辑结构及有关信息,设计或选择测 试用例,对程序所有逻辑路径进行测 试 ·通过在不同点检查程序的状态,确定 实际的状态是否与预期的状态一致。 因此白盒测试又称为结构测试或逻辑 驱动测试。  (一)静态白盒测试 静态白盒测试是在不执行的条件下 有条理地仔细审査软件设计、体系 结构和代码,从而找出软件缺陷的 过程 好处: 尽早发现软件缺陷。 为黑盒测试员提供思路。  (一)静态白盒测试 审查是正式、严格、具有深度的技术评审 以便尽可能准确地确定问题之所在。 审查过程的目的: 在软件开发过程中尽可能早地发现问题。 确保对需要重做部分达成一致意见 验证任何重做部分满足预先定义的准则 此阶段主要进行代码评审  (一)静态白盒测试 为什么要坚持编码标准和规范? ·可靠性。 可读性/维护性 ·移植性  (一)静态白盒测试 数据引用错误 是否引用了未初始化的变量? 数组和字符串的下标是整数值吗? 是否在应该使用常量的地方使用了变量? 变量是否被赋予不同类型的值? ·为引用的指针分配内存了吗?  (一)静态白盒测试 数据声明错误 所有变量都赋予正确的长度和类型了吗? 变量是否在声明的同时进行了初始化? 存在声明过、但从未引用或者只引用过 次的变量吗? 在特定模块中所有变量都显示声明了吗?