Interested Article - Контрактное программирование

Контрактное программирование ( design by contract (DbC), programming by contract , contract-based programming ) — это метод проектирования программного обеспечения . Он предполагает, что проектировщик должен определить формальные , точные и верифицируемые спецификации интерфейсов для компонентов системы. При этом, кроме обычного определения абстрактных типов данных , также используются предусловия , постусловия и инварианты . Данные спецификации называются «контрактами» в соответствии с условий и ответственности в гражданско-правовых договорах .

История

Термин предложил Бертран Мейер в связи с разработкой языка Eiffel . Контрактное программирование выросло из формальной верификации , формальной спецификации и логики Хоара . Контрактное программирование — это не только простая метафора, указывающая способ проектирования. Условия, облегчающие применение контрактного программирования:

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

Описание

Основная идея контрактного программирования — это модель взаимодействия элементов программной системы, основывающаяся на идее взаимных обязательств и преимуществ . Как и в бизнесе, клиент и поставщик действуют в соответствии с определённым контрактом . Контракт некоторого метода или функции может включать в себя:

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

Многие языки программирования позволяют учитывать такие обязательства. Контрактное программирование подразумевает эти требования критическими для корректности программ, поэтому они должны быть утверждены при проектировании. Таким образом, контрактное программирование предписывает начинать писать код с написания формальных утверждений корректности (assertions).

В объектно-ориентированном программировании контракт метода обычно включает следующую информацию:

возможные типы входных данных и их значение;
типы возвращаемых данных и их значение;
условия возникновения исключений , их типы и значения;
присутствие побочного эффекта метода;
предусловия, которые могут быть ослаблены (но не усилены) в подклассах;
постусловия, которые могут быть усилены (но не ослаблены) в подклассах;
инварианты, которые могут быть усилены (но не ослаблены) в подклассах;
(иногда) гарантии производительности, например, временная сложность или .

При использовании контрактов сам код не обязан проверять их выполнение. Обычно в таких случаях в коде делают жёсткое падение ^{[

уточнить

]} (« fail-fast »), таким образом облегчая отладку выполнения контрактов. Во многих языках, таких как C , C++ , Delphi , PHP , такое поведение реализуется оператором assert . В конечном варианте кода это поведение может быть сохранено, либо проверки могут быть убраны чтобы повысить производительность.

Юнит-тесты проверяют модуль изолированно от других, проверяя, что модуль удовлетворяет предположениям контракта, а также свои контракты выполняют используемые им модули. Интеграционные тесты проверяют, что модули работают корректно вместе.

Контрактное программирование может повысить уровень повторного использования кода , поскольку обязательства модуля чётко документированы. Вообще, контракт модуля можно рассматривать также как способ документации программного обеспечения .

Реализация в языках программирования

Поддержка DbC на языковом уровне

Языки, изначально поддерживающие средства для контрактного программирования:

Active Oberon
Ada 2012
Clojure
Cobra
Component Pascal
D
Eiffel
Fortress
Kotlin
Lisaac
Modula-2
Modula-3
Nice
Oberon-2
Oberon-07/11
Oxygene (бывший Chrome)
Racket
Sather
Scala
SPARK посредством статического анализа программ на Аде
Spec#
(расширение языка С )
(недоступная ссылка) (расширение языка Java )
C# (с .NET Framework 4.0)
Zonnon
Python (assert доступен в режиме отладки)

Поддержка DbC с помощью сторонних библиотек

C и C++ посредством , библиотеки , препроцессора DBC for C , GNU Nana или компилятора C++ от .
C# посредством
Go посредством
Java посредством , iContract2, , , Jcontract, , CodePro Analytix, , Jass preprocessor, with AspectJ, (JML), для Spring Framework , или , (недоступная ссылка) с использованием AspectJ, с использованием AspectJ, (разработанная компанией Google ).
JavaScript посредством от 27 июня 2007 на Wayback Machine , или .
Lisp
- Common Lisp с помощью макросов или CLOS .
- Scheme посредством расширения PLT, а именно тот факт, что любое нарушение контракта должно указывать на виновного и иметь точное объяснение.
Nemerle с помощью макросов.
Perl с помощью CPAN -модулей Class::Contract (Damian Conway) или Carp::Datum (Raphael Manfredi).
PHP с помощью
Python с помощью пакета zope.interface, PyDBC, PyContracts или Contracts for Python.
Ruby с помощью DesignByContract (от Brian McCallister), Ruby DBC или ruby-contract.
Rust с помощью библиотеки Hoare
Vala с помощью

Общие инструменты

посредством Perfect specification language может проверять контракт, используя статический анализ кода и генерируя программы на языках типа C++ и Java .

Примечания

Walter, Bright . Digital Mars (1 ноября 2014). Дата обращения: 1 декабря 2014. 28 ноября 2014 года.
. EPFL. Дата обращения: 12 января 2020. 25 декабря 2019 года.
David Morgan, Andreas Leitner and Nhat Minh Le. (англ.) (4 февраля 2011). Дата обращения: 12 июня 2011. 21 марта 2012 года.
. Дата обращения: 24 февраля 2019. 12 октября 2018 года.