可行路径分析

如果存在对驱动执行沿路径执行的输入值的分配，则可以通过函数或过程的控制流路径。我们还可以使用正则表达式来描述一组路径。

可行路径分析取决于：

• 关联类型的常量和函数的变量声明。
• 从开始到结束的路径。

1. 方法

使用白盒测试技术可以很好地分析路径，其中测试用例是根据需求或规范从代码构造的。构建测试用例集合以满足一个或多个覆盖标准。

• 声明范围：

  程序的每个声明都应以最少的测试次数进行。

• 决策覆盖范围：

  每项决策的结果都应该是真实和错误的。

• 条件覆盖范围：

  除了测试每个决策的结果外，还必须通过决策中不同的子条件值来实现每种结果的各种方式。

• 路径覆盖：

  测试程序中的所有控制流路径。