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