基于约束满足搜索算法的测试用例生成策略

摘要

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法.对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例.