Home Articles

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

Asked
Viewed 1956 times
1

我想将alloy4用于自动化测试用例生成研究项目 . 任何人都可以帮我这个吗?如何使用合金生成实例来使用合金创建java实例对象?

2 Answers

  • 3

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

    引用摘要,

    本论文描述了一种基于系统约束的测试生成方法,该方法将输入结构复杂的数据作为输入,提供了一个基于SAT的自动化框架来测试这些程序

    .

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

  • 2

    对不起,如果它看起来像一个复活的僵尸,但jDolly是一个基于Alloy的java程序生成器 . 看看这个!

Related