ПРОГРАММЫ содержат ошибки, если при выполнении на ЭВМ они дают сбои, отказы или неправильные результаты.
Программа не содержит ошибок,, если при выполнении программы на ЭВМ она дает правильные результаты и никикаих сбоев и отказов.
ПРОВЕРКУ программ можно проиводить путем тестирования на ЭВМ.
Проще всего проверить структурированные программы - нужно проверить все циклы и ветви программы.
Все это должны уметь делать все преподаватели информатики и все ученики, изучающие информатику.
Все подобранные тесты должны храниться в файлах на ЭВМ, чтобы после исправления ошибок перепроверить программу.
ЭТО ВСЕ - АЗБУЧНЫЕ ИСТИНЫ, которые содержатся в учебниках информатики Каймина.
Все участники олимпиад знают это на зубок, а многим преподавателям и программистам невдомек.