使用合金实例创建Java实例并自动生成测试用例

Question

我想将alloy4用于自动化测试用例生成研究项目。任何人都可以帮我这个吗？ 如何使用Alloy生成实例来创建java实例对象？

Answer 1

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

Answer 2

关于使用SAT生成测试用例，我知道在UT Austin任教的Sarfraz Khurshid博士写了他的论文“从声明性约束生成结构复杂测试”，并且基于SAT求解（在他的案例中是合金）。你可以在网上找到他的论文。

引用摘要，

  

本论文描述了一种基于系统约束的测试生成方法，该方法将结构复杂的输入作为输入   数据，提供了一个基于SAT的自动化框架来进行测试   方案

但是，我不熟悉从合金规范创建java类的任何工作。