java - 使用Alloy实例创建Java实例并自动生成测试用例

我想将alloy4用于自动测试用例生成研究项目。有人可以帮助我吗？
如何通过使用Alloy生成的实例，使用Alloy来创建Java实例对象？

最佳答案

很抱歉，如果它看起来像是一个复活的僵尸，但jDolly是基于Alloy的Java程序生成器。一探究竟！