我想将alloy4 用于自动化测试用例生成研究项目。谁能帮我解决这个问题？如何使用合金生成的实例来创建 java 实例对象？
问问题
300 次
2 回答
3
对不起，如果它看起来像一个复活的僵尸，但jDolly是一个基于 Alloy 的 java 程序生成器。一探究竟！
于 2012-12-10T21:41:13.527 回答
2
关于使用 SAT 生成测试用例，我知道在 UT Austin 任教的 Sarfraz Khurshid 博士写了他的论文“从声明性约束生成结构复杂的测试”，并且基于 SAT 求解（在他的案例中是合金）。你可以在网上找到他的论文。
从摘要中引用，
本论文描述了一种系统的基于约束的测试生成方法，用于将结构复杂的数据作为输入的程序，提出了一种基于 SAT 的自动化框架来测试此类程序
.
但是，我不熟悉从合金规范创建 java 类的任何工作。
于 2012-07-25T19:35:03.547 回答