Software-Reliability

Помните то самодовольное чувство, когда ваш код компилируется с первой попытки? То приятное ощущение, когда все тесты проходят успешно? Что ж, приготовьтесь, потому что я собираюсь разрушить этот пузырь быстрее, чем сюжетный поворот в мыльной опере. Ваш код не так надёжен, как вам кажется, и, честно говоря, мой тоже. Давайте начнём с отрезвляющей проверки реальности: 25 февраля 1991 года небольшая ошибка округления — речь идёт о потере точности на 0,000000095 секунды каждые десятые доли секунды — накопилась за 100 часов и привела к тому, что ракета «Пэтриот» не смогла перехватить ракету «Скад»....

Что такое «Дизайн по контракту»? Представьте, что вы в ресторане и заказываете блюдо. Вы ожидаете, что еда будет приготовлена согласно вашим требованиям (без орехов, с дополнительным соусом), и доверяете повару. Если повар не выполнит ваши ожидания, вас может ждать неприятный сюрприз. Этот сценарий очень похож на то, как взаимодействуют программные компоненты, и здесь вступает в игру «Дизайн по контракту» (DbC). Созданный Бертраном Мейером в 1980-х годах, DbC — это подход к проектированию программного обеспечения, который фокусируется на определении контрактов, описывающих взаимодействие между компонентами....