3.1　分支限界算法

本章围绕基于分支限界的测试用例生成展开,其中分支限界算法如图3-1所示。

(https://www.daowen.com)

图3-1　分支限界算法

为了找到有效的方法解决面向路径的测试用例生成问题,根据静态测试对于这个问题的定义,我们在3.1节对其赋予了新的定义形式,即面向路径的测试用例问题在本质上是一个约束满足问题,由此本书所有内容都将围绕求解路径约束展开。