Перевод документации Eiffel по технологии проектирования по контракту
Выполнен перевод на русский язык документации Eiffel по технологии проектирования по контракту (Design by Contract). Широко распространенным способом тестирования программных компонент является выполнение юнит-тестов. Юнит-тесты описывают набор шагов, которые необходимо выполнить, для получения необходимого результата. Однако юнит-тесты трудно писать и поддерживать в актуальном состоянии, отсутствие декларативности и интеграции в код затрудняет понимание спецификации программного компонента, объём кода юнит-тестов, как правило, достаточно велик. Этих недостатков лишены контракты, которые накладывают ограничения и обязательства на компоненты класса. Контракты являются частью документации программной системы, позволяют легко тестировать отдельные компоненты, упрощают повторное использование и отладку.
Проектирование по контракту изначально поддерживается в языке Eiffel как на уровне инструментов среды программирования EiffelStudio, так и во всех стандартных библиотеках, поставляемых с этой средой. Систематическое применение проектирования по контракту позволяет упростить проектирование программных систем, сократить время выявления ошибок, повысить качество кода и надежность разработанного ПО.
Полный текст статьи читайте на OpenNet
