使用alloy实例创建Java实例并自动生成testcase

我想将alloy4用于自动化测试用例生成研究项目。有人能帮我吗？

---

如何使用alloy通过使用alloy生成的实例来创建java实例对象？

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

引自摘要,

本文描述了一种基于系统约束的程序测试生成方法，该方法以结构复杂的程序为输入 data，提供了一个基于SAT的自动化框架，用于测试此类 节目

---

然而，我不熟悉从alloy规范创建java类的任何工作。

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

引自摘要,

本文描述了一种基于系统约束的程序测试生成方法，该方法以结构复杂的程序为输入 data，提供了一个基于SAT的自动化框架，用于测试此类 节目

---

然而，我不熟悉任何从alloy规范创建java类的工作。

如果它看起来像一个复活的僵尸，那么很抱歉，它是一个基于alloy的java程序生成器。看看

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