软件测试技术教学课件作者田秋成第4章节黑白灰盒测试方法课件幻灯片.ppt

（1）测试中尽量先使用自动化工具来进行静态结构分析。 （2）测试中建议先从静态测试开始，如静态结构分析、代码走查和静态质量度量等，然后再进行动态测试，如覆盖率测试等。 （3）将静态分析的结果作为依据，再使用代码检查和动态测试的方式对静态分析结果进行确认，提高测试的效率及准确性。 （4）覆盖率测试是白盒测试中的重要手段，在测试报告中可以作为量化指标的依据，对于软件的重点模块，应使用多种覆盖率标准衡量代码的覆盖率。 （5）在不同的测试阶段，测试的侧重点应是不同的。 《软件测试技术》 4.3.2 白盒测试方法 4.3 白盒测试 第4章 黑白灰盒测试方法 在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读与理解，然后可以通过分析这些图表，检查软件存不存在缺陷或错误。 《软件测试技术》 4.3.3 静态结构分析法 4.3 白盒测试 第4章 黑白灰盒测试方法 1. 语句覆盖：语句覆盖是指设计足够的测试用例，使被测程序中每个语句至少执行一次。 2. 判定覆盖：要求设计足够多的用例，使程序中每个判定至少有一次为真值，一次为假值。 3. 条件覆盖：要求设计足够多的用例，使判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，一次为假值。 4. 判定/条件覆盖：设计足够多的用例，使判定中每个条件的所有可能至少出现一次。 5. 组合覆盖：设计足够多的用例，使得每个判定中条件结果的所有可能组合至少出现一次。 6. 路径覆盖：设计足够的用例，覆盖程序中所有可能的路径。 《软件测试技术》 4.3.4 逻辑覆盖法 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）基本路径测试的步骤 （1）以详细设计或源代码为基础，导出程序的控制流图； （2）计算得到的控制流图G的环路复杂性V（G）； （3）确定线性无关的路径的基本集； （4）生成测试用例，确保基本路径集中的每条路径的执行。 （二）基本路径测试用例的生成 《软件测试技术》 4.3.5 基本路径法 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）方法简介 借助往被测程序中插入操作，来实现测试目的的方法。 （1）目标代码插桩；（2）源代码插桩。 （二）断言语句 （三）插桩程序的设计 （1）插桩位置；（2）插桩策略。 设计插桩程序时需要考虑的问题包括： （1）探测哪些信息； （2）在程序的什么部位设置探测点； （3）需要设置多少个探测点。 《软件测试技术》 4.3.6 程序插桩法 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）域测试定义 是一种基于程序结构的测试方法，基于对程序输入空间（域）的分析，选择测试点进行测试。 域测试主要测试如下错误： （1）域错误 （2）计算型错误 （3）丢失路径错误 （二）域测试的弱点 （1）为进行域测试对程序提出的限制过多； （2）是当程序存在很多路径时，所需的测试点也就很多。 《软件测试技术》 4.3.7 域测试 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）符号测试的基本思想 符号测试的基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，符号值可以是基本的符号变量值，也可以是符号变量值的表达式。 （二）符号测试的优点 （三）符号测试的缺点 《软件测试技术》 4.3.8 符号测试 4.3 白盒测试 第4章 黑白灰盒测试方法 首先，路径覆盖，就是从流程的一端到达另一端所有可以经过的路径。 简化循环意义下的路径覆盖，称为Z路径覆盖。 所谓循环化简，是指限制循环的次数。 《软件测试技术》 4.3.9 Z路径覆盖 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）程序变异方法定义 实际是面向软件缺陷的测试方法，一种错误驱动测试。 （二）错误驱