原文: https://www.veracode.com/blog/research/automated-unit-test-generation-java

作者使用EvoSuite为wox生成了一套test case

EvoSuite包含不同的生成策略:

Search Based Test Generation : Uses a genetic algorithm to evolve the population of candidate test cases that satisfy a particular fitness function.

Constraint Based Test Generation : Uses symbolic execution to generate constraints and solve those constraints to explore different paths in the program.

介绍这两个算法的paper:http://www.evosuite.org/wp-content/papercite-data/pdf/ase11.pdf

其他自动生成test case的框架: CATG, Randoop,Symbolic Pathfinder

EvoSuite和其他同类工具的比较:http://www.evosuite.org/wp-content/papercite-data/pdf/fittest2014.pdf

查看原文