Книга: Основы объектно-ориентированного программирования
Утверждения как средство для написания корректного ПО
Утверждения как средство для написания корректного ПО
Первое использование является чисто методологическим и, вероятно, самым важным. В деталях оно рассматривалось в предыдущих разделах: точные требования к каждой программе, глобальные свойства классов и циклов - все это помогает разработчикам производить программный продукт, корректный с самого начала в противоположность подходу, пытающемуся добиться корректности в процессе отладки. Преимущества точной спецификации и систематического подхода к конструированию программ не могут быть преувеличены. Во всей этой книге всякий раз при встрече с программным элементом его формальные свойства выражались точно, насколько это было возможным.
Ключевая идея этой лекции - Проектирование по контракту. Использование компонент некоторого модуля является контрактом с его службами. Хорошие контракты точно специфицируют и ограничивают права и обязанности каждого участника. В проектировании ПО, где корректность и устойчивость так важны, необходимо раскрытие терминов контракта, как предварительное условие их следованию. Утверждения дают способ точно установить, что ожидается и что гарантируется каждой стороне в этом соглашении.
Оглавление книги
- 6.2. Выполнение и невыполнение целевого утверждения
- Стиль написания исходного кода
- Инструкция утверждения
- 11.4.1. Учебный пример: два способа написания программы калькулятора
- Десять правил написания делового письма
- Как избежать создания некорректного программного кода
- IV. Рисунки для утверждения планов
- Глава четвертая. Формулы написания убедительных текстов
- Выделение функции в процессе написания
- Утверждения
- Утверждения (Assertions)
- Утверждения не являются механизмом проверки вводимых данных