Статья 364

Но как убедиться в том, что ошибки в самом деле отсутствуют. Вопрос не так прост, как может показаться на первый взгляд. Прежде всего, в практике программирования используется прием тестирования программ. Суть его сводится к следующему. Подлежащую проверке программу неоднократно запускают с теми входными данными, относительно которых результат известен заранее. Затем сравнивают полученный машиной результат с ожидаемым. Если во всех случаях такой проверки налицо совпадение этих результатов, появляется некоторая уверенность в том, что и последующие машинные вычисления не приведут к ошибочному итогу, что исходная программа работает правильно. Например, пусть имеется программа поиска оптимального маршрута при поездке в метро, минимизирующая число промежуточных станций и количество пересадок.

показаться

показаться


Предположим, при тестировании программа действительно выдает оптимальные маршруты.