metrics - 是否有人使用过按合同设计的指标，或者可以推荐指标来衡量代码库中按合同设计的使用情况？

Question

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

1. 每个组件的合约断言数
2. 每个组件每个类的平均合约断言数

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

Answer 1

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

Answer 2

我认为您的第一步应该是对所有签入的新代码进行代码审查。

在您让所有程序员“正常”使用“按合同设计”之前，我看不到自动检查工具的工作原理</p>

也许在填写的表格中包含代码审查的结果，作为决定程序员是否会获得加薪的过程的一部分，这将有所帮助。