如何确保在推出之前对DbC中的合同进行测试？

Question

如何确保使用合同设计（DbC）为您的软件组件定义的合同在某个时候进行测试？

我应该为我定义的每一份合同编写单元测试吗？

我在DbC与单个单元的隔离测试中看到的一个好处是，我能够确保合同在真正的合作者之间起作用。但是，在推出软件之前，如何确保合同正在接受测试？

Answer 1

一种方法是编写一个模拟应用程序用户的程序，即机器人。在启用合同的情况下启动您的应用程序并让机器人运行应用程序。 您可以在机器人中实现随机行为，让他们运用更多的用例和边缘案例。 就个人而言，我经常扩展我编写的机器以验证性能，以便进行您正在进行的那种测试。