软件测试是保证软件质量的重要方法。单元测试是对被测程序最小单元或模块进行的测试,通常分为测试用例生成、测试用例执行和测试结果统计三个阶段,其中生成测试用例通常由测试人员手动完成。由于单元测试的巨大工作量及其高重复性,因而需要投入大量的人力和时间。单元测试的自动化测试,尤其是测试用例自动生成技术的发展在一定程度上解决了手动测试效率低和失误率高的问题,推动了软件测试的发展,成为软件测试领域的研究热点。在面向路径的单元测试中,目标路径上的约束集合求解问题是测试用例自动生成问题的一个难点。由于被测约束系统的复杂性以及求解算法的约束性,测试用例自动生成的效率以及生成用例的正确率往往不高。本文围绕提高单元测试中的测试用例自动生成效率问题,在分支限界测试用例框架和区间运算的基础上提出了基于语义分析和区间运算的库函数约束求解策略,用以求解目标路径中库函数约束;基于迭代技术和区间运算的区间一致性判定策略,用以消除路径中约束的处理顺序对区间运算结果的影响,同时削减变量区间;基于变量相关性的跳跃式回溯策略用以避免不必要的回溯和回退过程,减少区间运算次数;约束变换策略将待测路径中的一些非四则运算转换成区间运算可以处理的四则运算形式,通过辅助变量赋值加速求解目标路径上的约束集合。作者在代码测试系统(CodeTest System,CTS)中编码实现了上述四种策略,并通过相关实验来检测这些策略在加速测试用例自动生成方面的有效性。实验结果表明本文提出的策略对于减少测试用例自动生成的时间,提高测试用例自动生成的效率有明显的作用。