В конце 60-х годов много говорилось о возможности автоматической верификации программ. К сожалению, за последующие десятилетия никаких систем автоматической проверки так и не появилось. Несмотря на отсутствие результата, исследования, которые были проведены в области верификации программ, дали нам гораздо больше, чем черный ящик, переваривающий программу и выдающий вердикт «хорошая» или «плохая», — люди достигли понимания глубинных основ программирования.
Цель этой главы — показать, каким образом понимание этих основ может помочь в написании программ. Один из читателей охарактеризовал подход большинства программистов к этому вопросу следующим образом: «Напишите программу, перебросьте ее текст через стенку в соседний кабинет, и пусть отделы гарантии качества и тестирования разбираются с ошибками». В этой главе мы опишем альтернативный подход. Прежде чем обратиться к самой теме, мы рассмотрим ее со всех сторон. Умение правильно кодировать — лишь одно из множества требований для написания правильных программ. Самое сложное — то, о чем мы говорили в предыдущих трех главах, — правильно поставить задачу, разработать алгоритм и выбрать подходящую структуру данных. Если вы справитесь с этим, кодирование, скорее всего, не вызовет проблем.
Опубликовал vovan666
April 16 2013 23:57:50 ·
0 Комментариев ·
2997 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
