第2章　测试用例自动生成技术

因为面向路径的测试用例生成的本质在于求解约束系统,所以研究人员对于基于约束求解的测试用例生成做了大量研究。面向路径的测试用例生成技术从20世纪70年代开始发展,在研究中逐渐形成了3种主要的方法:基于符号执行和区间运算的静态方法[1-4]、基于程序实际执行的动态方法[5-7]和基于动态符号执行(动静结合)的方法[8-11]。静态方法不实际运行程序,通过静态分析和模拟的手段来生成测试用例,开销较小,是测试领域的一个重要分支。动态方法初始值的随机性以及动态执行的不确定性,经常会导致大量的迭代,甚至会产生迭代溢出。动静结合的方法在2005年开始提出。这种方法动态执行被测程序,并在这个过程中进行静态符号分析,收集路径约束,用具体执行的结果取代符号分析难以处理的符号表达式,从而使得符号分析得到的路径约束易于求解。近10年来这种方法得到了改进,但是仍然存在着一些问题。(https://www.daowen.com)