软件测试技术作者田秋成第4章黑白灰盒测试方法课件.pptVIP

在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构、数据结构、数据接口、内部控制逻辑等内部结构，生成函数调用关系图、模块控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读与理解，然后可以通过分析这些图表，检查软件存不存在缺陷或错误。 《软件测试技术》 4.3.3 静态结构分析法 4.3 白盒测试 第4章 黑白灰盒测试方法 1. 语句覆盖：语句覆盖是指设计足够的测试用例，使被测程序中每个语句至少执行一次。 2. 判定覆盖：要求设计足够多的用例，使程序中每个判定至少有一次为真值，一次为假值。 3. 条件覆盖：要求设计足够多的用例，使判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，一次为假值。 4. 判定/条件覆盖：设计足够多的用例，使判定中每个条件的所有可能至少出现一次。 5. 组合覆盖：设计足够多的用例，使得每个判定中条件结果的所有可能组合至少出现一次。 6. 路径覆盖：设计足够的用例，覆盖程序中所有可能的路径。 《软件测试技术》 4.3.4 逻辑覆盖法 4.3 白盒测试 第4章 黑白灰盒测试方法 （一）基本路径测试的步骤