Интернет магазин китайских планшетных компьютеров



Компьютеры - Контрактное программирование

23 января 2011


Оглавление:
1. Контрактное программирование
2. Описание
3. Реализация в языках программирования



Контрактное программирование, или Programming by Contract) — это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации интерфейсов для компонентов системы. При этом, кроме обычного определения абстрактных типов данных, также используются предусловия, постусловия и инварианты. Данные спецификации называются "контрактами" в соответствии с концептуальной метафорой условий и ответственностей в бизнес-контрактах.

История

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

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


Просмотров: 1289


<<< Декомпозиция