Статья 365

Однако проверить их все при достаточно сложной схеме путей практически невозможно, поэтому удачное тестирование не дает полной гарантии того, что программа не содержит ошибок.
Такие программы существуют. Например, обсуждается программа выбора оптимального маршрута в Лондонском и Парижском метро, которую с успехом можно применить и для Московского метрополитена.
Вряд ли, однако, выбор неоптимального маршрута поездки в метро способен привести к чему-то иному, чем к мелким неприятностям, связанным с потерями времени и опозданиями. Но представим себе, что программа управляет ходом производственного процесса или зенитным комплексом, движением самолета или космического корабля - в этих и других подобных случаях каждая ошибка в программе может обернуться серьезными или даже катастрофическими последствиями.