基于不变量探测的JUnit测试用例自动生成的实现

摘要

实现了一种在动态不变量探测工具Daikon帮助下，为Java类自动生成JUnit测试用例的方法。它以待测代码以及少量使该待测代码正确运行的代码为输入，以Daikon导出的程序运行模型为基础，全自动地生成了包含测试断言的JUnit测试用例。该方法主要解决了传统方法在生成单元测试用例时无法自动插入测试断言的不足。