白盒测试的测试方法有代码检查法.docVIP

白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程式变异。 　　其中运用最为广泛的是基本路径测试法。 　　基本路径测试法是在程式控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 　　设计出的测试用例要确保在测试中程式的每个可执行语句至少执行一次。 　　在程式控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。包括以下4个步骤和一个工具方法： 　　1. 程式的控制流图：描述程式控制流的一种图示方法。 　　2. 程式圈复杂度：McCabe复杂性度量。从程式的环路复杂性可导出程式基本路径集合中的单独路径条数，这是确定程式中每个可执行语句至少执行一次所必须的测试用例数目的上界。 　　3. 导出测试用例：根据圈复杂度和程式结构设计用例数据输入和预期结果。 　　4. 准备测试用例：确保基本路径集中的每一条路径的执行。 　　工具方法： 　　图像矩阵：是在基本路径测试中起辅助作用的软件工具，利用他能够实现自动地确定一个基本路径集。 　　程式的控制流图：描述程式控制流的一种图示方法。 　　圆圈称为控制流图的一个结点，表示一个或多个无分支的语句或源程式语句 　　流图只有二种图像符号： 　　图中的每一个圆称为流图的结点，代表一条或多条语句。