【发布时间】：2011-03-12 14:52:45
【问题描述】：
我想将alloy4 用于自动化测试用例生成研究项目。谁能帮我解决这个问题？ 如何使用合金生成的实例来创建 java 实例对象？
【问题讨论】：
标签： java testing automated-tests formal-methods alloy
【发布时间】：2011-03-12 14:52:45
【问题描述】：
抱歉，它看起来像是复活的僵尸，但jDolly 是基于Alloy 的Java 程序生成器。看看吧！
【讨论】：
关于使用 SAT 生成测试用例，我知道在 UT Austin 任教的 Sarfraz Khurshid 博士写了他的论文“从声明性约束生成结构复杂的测试”，并且基于 SAT 求解（在他的案例中是合金）。你可以在网上找到他的论文。
引用摘要，
本论文描述了一种系统的基于约束的测试生成方法，用于将结构复杂的作为输入的程序 数据，提供了一个基于 SAT 的自动化框架，用于测试此类 程序
.
但是，我不熟悉根据合金规范创建 java 类的任何工作。
【讨论】：