Корректность программы и ее тестирование - это тесно связанные понятия. Укажите высказывания, истинные для связи этих понятий:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
тестирование позволяет доказать корректность программы
только зная спецификации программы, можно построить подходящую систему тестов(Верный ответ)
тестирование позволяет доказать, что программа не является корректной(Верный ответ)
можно построить универсальную систему тестов, подходящую для любой программы
тестирование - это процесс, направленный на достижение корректности программы(Верный ответ)
