Когда мне приходится сталкиваться со сложной проблемой, требующей аккуратного программирования, я пытаюсь записать код с уровнем детализации, который
только что был продемонстрирован. Затем я использую методы верификации для повышения собственной уверенности в правильности программы. Верификация на этом уровне рассматривается в главах 9, 11 и 14.
В этом разделе мы изучим процесс верификации программы двоичного поиска в его наиболее подробном виде. На практике я анализирую программы гораздо менее формально. Текст программы, приведенный в листинге 4.4, наполнен утверждениями, формализующими интуитивные соображения, использовавшиеся при написании кода.
Хотя код разрабатывался сверху вниз (вначале — общая идея, затем — детализация), анализ корректности будет производиться снизу вверх: мы будем рассматривать строки по отдельности, а затем посмотрим, как они работают вместе при решении задачи.
Опубликовал vovan666
April 16 2013 23:58:03 ·
0 Комментариев ·
3459 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
