Поехали:
Слайд 135
Некоторые модели, которые мы создаем и используем в качестве оракулов для работы с ПО, могут помочь обнаружить только те случаи, когда ПО ошибается и не выполняет некоторые предсказания. Например, ПО, выдающее результат, нарушающий закон гравитации явно ошибается.
Картинка:
Комментариев нет:
Отправить комментарий