Jartege：Java类单元测试的随机生成工具
摘要：使用JML规范语言编写的Java类，可在Jartege工具中进行随机单元测试生成。与JML-JUnit工具类似，我们使用JML规范来消除不相关的测试用例，并作为测试神谕。Jartege随机生成测试用例，包括对待测类的构造函数和方法调用的序列。工具的随机性可以通过为类和操作分配权重，并控制为每个待测类创建的实例数量来参数化。通过一个小案例研究展示了Jartege的实际应用。
作者：Catherine Oriat (LSR - IMAG)
论文ID：cs/0412012
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23