Проектирование по контракту
- Проектирование по контракту (DbC) — подход к разработке программного обеспечения, основанный на формальных спецификациях интерфейса.
- DbC требует определения точных и проверяемых спецификаций для программных компонентов.
- Спецификации называются «контрактами» и основаны на метафоре деловых контрактов.
- DbC предполагает, что клиентские компоненты будут соответствовать предварительным условиям для операций в серверных компонентах.
- В случае рискованных ситуаций, серверный компонент проверяет предварительные условия и выдает сообщения об ошибках.
- Разработка по контракту уходит корнями в формальную верификацию, спецификацию и логику Хоара.
- DbC использует метафору взаимодействия элементов программной системы на основе взаимных обязательств и выгод.
- Контракты семантически эквивалентны тройке Хоара и должны быть частью процесса проектирования.
- DbC облегчает повторное использование кода и облегчает отладку поведения контракта.
- Контракты могут быть реализованы с помощью комментариев к коду, тестов или их комбинации.
Полный текст статьи: