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