Кто-нибудь испытывает метрики для Design-By-Contract или может рекомендовать метрики для измерения использования Design-By-Contract в базе кода?

Question

В настоящее время мы внедряем Design-by-Contract для группы разработчиков из примерно 60 разработчиков, которые разрабатывают различные компоненты. Мы начали с определения политик проектирования по контракту для C # и Java. Чтобы измерить прогресс, мы рассчитываем количество классов и количество подтверждений контракта (предварительные условия, условия публикации и инварианты) с помощью простого поиска по ключевым словам (исключая комментарии и строковые литералы). Итак, у нас есть две статистики:

1. Количество подтверждений контракта за Компонент
2. Среднее количество подтверждений контракта на класс на компонент

Имеет ли кто-то опыт работы с метриками для Design-By-Contract или может порекомендовать метрики для измерения использования Design-By-Contract в базе кода?

Answer 1

Я бы предложил посмотреть на контракты так же, как вы смотрите на модульные тесты, попытаться измерить охват кода инвариантами и постусловиями и количество проверенных аргументов для предусловий.

Answer 2

Я думаю, что вашим первым шагом должно быть рассмотрение кода всего нового кода, который был зарегистрирован.

Я не вижу работающего инструмента автоматической проверки, пока вы не сделаете его "нормальным" для всех ваших программистов, чтобыиспользуйте «Design-By-Contract»

Возможно, включите результаты проверки кода в форму, которая заполняется, как часть процесса принятия решения, поможет ли программист увеличить зарплату.