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

Question

我想使用 Alloy4 进行自动测试用例生成研究项目。有人可以帮我吗？ 如何使用 Alloy 生成的实例来创建 Java 实例对象？

Answer 1

抱歉，如果它看起来像复活的僵尸，但 jDolly 是一个 Java 程序基于合金的发电机。一探究竟！

Answer 2

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

引用摘要，

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

。

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