Основная причина ошибок, допускаемых даже опытными программистами, состоит в невозможности предсказать поведение сложной разветвленной программы во всех мыслимых ситуациях и при любых наборах исходных данных. Такие ошибки — настоящий бич программирования, а цена их может быть очень велика. Известны случаи, когда в результате единственного неверного оператора срывались запуски космических кораблей, происходили серьезные аварии на производстве и транспорте. Поэтому разработка методов, облегчающих процесс обнаружения ошибок и позволяющих проверять правильность программ,— это одна из центральных проблем информатики.
Память фотографическая у всех, только у некоторых пленка кончилась.
Случайный анекдот
— Папа, а почему американцы говорят "восемнадцать — девяносто три" вместо "тысяча восемьсот девяносто три"?
— У них, сынок, до сих пор восьмибитные процессоры в головах.