是否有人使用“按合同设计”的指标，或者可以建议指标来衡量代码库中“按合同设计”的使用情况？

Question

我们目前正在向大约60名开发人员的软件开发小组介绍Design-by-Contract，他们正在开发不同的组件。我们首先为C＃和Java定义了Design-By-Contract策略。为了衡量进度，我们通过简单搜索关键字（不包括注释和字符串文字）来计算类的数量和合同断言的数量（前置条件，后置条件和不变量）。所以我们有两个统计数据：

1. 每个合同断言的数量 成分
2. 每个组件的每个类别的合同断言平均数

是否有人使用“按合同设计”的指标，或者可以建议指标来衡量代码库中“按合同设计”的使用情况？

Answer 1

我认为您应该首先对所有签入的新代码进行代码审查。

我无法看到自动检查工具正常工作，直到你让所有人都“正常” 你的程序员使用“按合同设计”

也许在表格中包含代码审核的结果，作为决定程序员是否会获得加薪的过程的一部分。

Answer 2

我建议以与查看单元测试相同的方式查看合同，尝试通过不变量和后置条件以及前置条件的已检查参数数来衡量代码的覆盖范围。