在软件测试的过程中,采用合适的方式构造测试用例,是非常重要的一环。传统的测试用例生成方式主要由测试人员手动生成或者通过随机的方式生成,这些方式都存在着缺陷,手动生成测试用例耗费人力且效率低下；随机生成测试用例效率虽然较高但是覆盖能力较低。本文首先探讨了基于约束求解的测试用例生成技术的相关技术,如代码的静态分析,路径选择等,介绍了基于约束求解的测试用例生成技术的概况。接着介绍了在基于约束求解的测试用例生成中应用的一些技术,如变量的初始区间确定技术。它可以通过在全路径上对变量进行区间运算的方式,为每一个计算出一个合理的区间,在这个区间内生成测试用例,不仅生成过程效率提高,而且测试用例的质量也有所提高。最后阐述了基于约束求解的测试用例生成的特点和适用情况。通过约束求解的方法分析程序路径中所有的约束关系表达式,采用逆向符号分析处理约束表达式,逆推求解约束表达式组,求解得到测试用例的整体过程,并简要介绍了它在实际工程中的应用情况。本文通过对若干个开源C语言代码的测试来验证基于约束求解的测试用例生成技术的有效性。实验证明,合理应用基于约束求解的测试用例生成器,能够显著提高测试用例的覆盖率,达到更好的测试效果。