传统软件测试与Alloy实例生成

Question

通过传统的软件开发，测试代表了您对软件的意义。通过对软件执行测试，您可以看到软件是否意味着您的意思。 “这就是我的意思，我真的这么说吗？”

合金实例显示您在模型中所说的内容。您检查实例并确定这是否是您对模型的意思。 “这就是你所说的，是你的意思吗？”

您是否同意软件测试与Alloy实例生成之间的区别？在软件测试和Alloy实例生成的比较中，你会添加什么吗？

Answer 1

有趣。我使用Alloy代表＆＃34;测试数据＆＃34; （不是软件本身）。通过这种方法，我发现使用测试数据和编写测试代码是Verification;但是通过正式规范指定测试数据是验证。当我通过Alloy指定测试数据时，我需要比软件测试更大的视角。

例如，考虑软件采用Date数据，必须测试软件可以拒绝无效的日期值。另一方面，当您通过Alloy指定用于测试软件的测试数据时，您必须定义满足＆＃34;日期＆＃34;的要求的数据。

我认为这些观点的变化意味着验证和验证之间的差异（以及软件测试和Alloy实例生成之间的差异）。