Программирование - написание программ для ЭВМ может производится тремя способами:
1. написание программы исходя из условий задачи. (традиционный способ)
2. кодирование программ по детальным алгоритмам решения задач на ЭВМ
3. совестная разработка алгоритмов и программ (структурное проектирование)
Программа содержит ошибки, если ее выполнение на ЭВМ приводит к получению сбоев, отказов или получению не правильных результатов.
Ошибки в алгоритмах программах - одна из самых серьезных проблем в информатике и профессиональном программировании.
Отладка программ - поиск и исправление ошибок в программах на ЭВМ. Поскольку число ошибок неизвестно, то неизвестна и продолжительность отладки программ на ЭВМ.
Отсутствие ошибок в программах проверяется их тестированием на ЭВМ. Тестирование может выявить ошибки, но не может гарантировать отсутствие ошибок в программах. (Дейкстра)