软件测试是保证软件质量最常用的方法之一。按照测试活动发生的阶段，可以将测试分为单元测试、集成测试、系统测试和验收测试。单元测试发生在测试阶段的开始，其它测试是在单元测试的基础之上进行的。单元测试是对被测程序中能实现一定功能的最小程序片段进行测试，它具有故障发现时间早、发现概率高、发现代价低和修复成本低的特点，好的单元测试对保证软件质量具有重要的意义。很长一段时间内，单元测试由代码开发人员或者测试人员手工完成。由于单元测试具有工作量大、重复度高的特点，需要投入大量的人力。单元测试自动化既可以解决手动单元测试时测试效率低和失误率高的问题，又能够将单元测试的人力解放出来，投入其它的模块，所以，单元测试自动化是单元测试领域努力的方向。　　自动化测试可以分为自动化生成测试用例，自动化执行测试用例，测试结果自动统计三个阶段。其中，自动化生成测试用例取代人工测试中人为编写测试用例的过程，是测试自动化的关键步骤。本文围绕着单元测试自动化中测试用例自动生成展开论述，在面向路径的单元测试中，测试用例自动生成的一大难点是求解路径中的约束集合。在分支限界的框架下，本文提出了通过反函数精化变量初始区间，通过变量的路径正负性选初始回退值，变量的动态排序，选值发生矛盾时的二分回退，跳跃式回溯五种策略，来加速求解路径的约束集合。　　作者在CTS（Code Test System，代码检测系统）中编码实现了上述五种策略，并通过实验验证了这些策略有助于提高测试用例自动生成的效率。实验结果证明这些策略当中，有的方法能提高测试用例自动生成的成功率，有的方法能减少用例自动生成的时间，提高用例自动生成的效率。