面向路径的测试用例自动生成技术的发展在一定程度上解决了软件测试过程中手动测试效率低和失误率高的问题,是软件测试领域的研究热点。约束系统的建立和求解是面向路径的测试用例生成过程中非常重要的一环,对其高效率的求解是测试用例自动生成问题的一个难点。首先,围绕面向路径的逻辑表达式约束求解问题,提出了逻辑表达式约束求解框架。该框架根据不同的覆盖准则采取不同的求解算法:语句、分支覆盖准则中,在构建的初始爬山空间二叉搜索树上利用改进的爬山法搜索求解;修正的条件判定覆盖准则中,利用独立影响对将逻辑表达式约束转化为原子表达式约束集求解。求解得到的变量和与其映射的削减区间集,作为分支限界测试用例搜索过程的输入。其次,针对逻辑表达式约束的求解方法提出了一些优化策略:利用真值表项优化策略和启发式矛盾处理策略提高修正条件判定覆盖准则中逻辑表达式约束的求解能力;利用剪枝算法缩减二叉搜索树的规模;利用基于变量依赖关系的原子表达式排序算法增强区间削减的能力;利用不可达路径检测技术减少不必要的求解过程耗费的代价。作者在代码测试系统(Code Test System,CTS)中编码实现了该求解方法,实验结果表明本文提出的策略能够支持复杂工程中逻辑表达式约束的求解,并能够成功的提高单元测试中的代码覆盖率。