我想将alloy4用于自动化测试用例生成研究项目 . 任何人都可以帮我这个吗？如何使用合金生成实例来使用合金创建java实例对象？
对不起，如果它看起来像一个复活的僵尸，但jDolly是一个基于Alloy的java程序生成器 . 看看这个！
关于使用SAT生成测试用例，我知道在UT Austin任教的Sarfraz Khurshid博士撰写了他的论文“从声明性约束生成结构复杂测试”，并基于SAT求解（在他的案例中是合金） . 你可以在网上找到他的论文 .
引用摘要，
本论文描述了一种基于系统约束的测试生成方法，该方法将输入结构复杂的数据作为输入，提供了一个基于SAT的自动化框架来测试这些程序
.
但是，我不熟悉从合金规范创建java类的任何工作 .
2 回答
对不起，如果它看起来像一个复活的僵尸，但jDolly是一个基于Alloy的java程序生成器 . 看看这个！
关于使用SAT生成测试用例，我知道在UT Austin任教的Sarfraz Khurshid博士撰写了他的论文“从声明性约束生成结构复杂测试”，并基于SAT求解（在他的案例中是合金） . 你可以在网上找到他的论文 .
引用摘要，
.
但是，我不熟悉从合金规范创建java类的任何工作 .