首页 文章

务实地将Alloy实例导出到文件中

提问于
浏览
1

我有一个Alloy模型 . 该模型是我写的软件中的一些决策逻辑 . 在那个模型中,我有一些谓词可以创建示例 . 谓词创建的是预期行为和预期行为之外的实例 . 我很乐意将这些示例作为我的代码的单元测试的输入 .

有没有人有一些软件与Alloy交互以将生成的许多示例转储到单个文件中?我希望运行一个程序,获取一个包含许多实例的文件,然后使用该文件作为我的测试程序的输入 .

这让我感兴趣,因为创建的示例和反例在我手写我的测试输入时通常不是我想的 .

思考?

1 回答

  • 0

    您可以在“文件/导出到”菜单中导出实例 .

    如果你可以在Java中工作,那么知道我们在github上设置一个开源代码回复可能很有趣:https://github.com/AlloyTools/

    我认为将代码与此代码链接并生成测试用例或从适当的文件提供它们非常容易 .

    我对合金的这种应用非常感兴趣,请关注https://groups.google.com/forum/#!forum/alloytools

相关问题