软件测试能够检测软件中的错误并保障软件质量,是软件开发周期中最重要的环节之一。随着软件规模的不断扩大,软件测试中的各项费用也不断增加。软件测试自动化是减少测试时间与费用的重要途径,而自动化软件测试的质量高度依赖于测试用例的自动生成。因此,测试用例生成在软件测试过程中扮演着至关重要的角色,是软件测试领域一个重要的研究方向。基于漏洞约束求解的测试用例生成方法是一种面向路径的测试用例生成方法。该方法建立在符号执行技术的基础上,主要分为两个部分,一个是基于程序中间表示的符号执行系统的建立,另一个是基于漏洞类型的漏洞约束构建。具体来说,首先对源代码进行静态分析依次得到程序的中间表示、依赖关系图以及漏洞报告等相关信息;接着符号执行系统在程序中间表示的基础上对相关路径上的语句进行符号替换和路径约束收集,同时,对漏洞报告进行分析得出漏洞类型进而构建漏洞约束;最后对收集到的路径约束集合以及漏洞约束进行合并求解继而生成测试用例。基于漏洞约束求解的测试用例生成方法生成的测试用例不仅能够满足覆盖相关路径的要求,同时,该方法生成的测试用例具有针对漏洞特性的较强检错能力。实验结果表明,基于漏洞约束求解的测试用例生成方法在实际测试中能有效的生成测试用例,并且生成的测试用例具有较强的检错能力。