design-by-contract - 契约(Contract)设计对您有用吗？

Question

就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the help center为指导。




9年前关闭。




您是否专业地使用 Design by Contract？这是您必须从项目一开始就必须做的事情，还是您可以换档并开始将其纳入您的软件开发生命周期？您发现这种设计方法的优缺点是什么？

我遇到了 Design by Contract在研究生类(class)中的方法。在学术环境中，这似乎是一种非常有用的技术。但我目前并不专业地使用 Design by Contract，而且我不知道有其他开发人员在使用它。很高兴从 SO 人群中听到它的实际使用情况。

Answer 1

我不能高度推荐它。如果您有一个采用内联文档契约(Contract)规范的套件，那就特别好，如下所示:

// @returns null iff x = 0
public foo(int x) {
  ...
}

并将它们转换为生成的单元测试，如下所示:

public test_foo_returns_null_iff_x_equals_0() {
  assertNull foo(0);
}

这样，您实际上可以看到正在运行的测试，但它们是自动生成的。顺便说一下，不应将生成的测试 checkin 源代码管理。