現在、さまざまなコンポーネントを開発している約 60 人の開発者からなるソフトウェア開発グループに Design-by-Contract を導入しています。まず、C# と Java の Design-By-Contract ポリシーを定義しました。進行状況を測定するために、キーワード (コメントと文字列リテラルを除く) を単純に検索して、クラスの数とコントラクト アサーション (前提条件、事後条件、および不変条件) の数を数えています。したがって、次の 2 つの統計があります。
- コンポーネントごとのコントラクト アサーションの数
- コンポーネントごとのクラスごとのコントラクト アサーションの平均数
Design-By-Contract のメトリクスを使用した経験があるか、またはコード ベースでの Design-By-Contract の使用状況を測定するためのメトリクスを推奨できますか?