我有一个Alloy模型。该模型是我写的软件中的一些决策逻辑。在那个模型中，我有一些谓词可以创建示例。谓词创建的是预期行为和预期行为之外的实例。我很乐意将这些示例作为我的代码的单元测试的输入。
有没有人有一些与Alloy交互的软件示例，可以将生成的许多示例转储到单个文件中？我希望运行一个程序，获取一个包含许多实例的文件，然后将该文件用作我测试程序的输入。
这让我感兴趣，因为创建的示例和反例在我手写我的测试输入时通常不是我想的。
思想？
答案 0 :(得分：0)
您可以在“文件/导出到”菜单中导出实例。
如果你可以使用Java工作，那么知道我们在github上设置一个开源的仓库可能很有意思：https://github.com/AlloyTools/
我认为将代码与此代码链接并生成测试用例或从适当的文件提供它们非常容易。
我对合金的这种应用非常感兴趣，请将我们发布在https://groups.google.com/forum/#!forum/alloytools
上