Какие утверждения справедливы относительно понятия - Ответ на вопрос по ПнП №1306844
-42%
Вопрос
Какие утверждения справедливы относительно понятия корректности программы- Понятие корректности программы можно определить, если только заданы спецификации программы
- Формальное задание спецификаций программы невозможно
- Формально задать спецификации программы можно, задав два предиката - предусловие (предикат Pred(X), определенный на входных данных программы) и постусловие (предикат Post(X, Y), связывающий входные данные программы X и выходные Y)
- Для проверки справедливости предиката постусловия программа не должна изменять значения входных данных.
Ответ
Этот вопрос в коллекциях
🎓 Поможем сдать всё — тесты, практику, экзамены, курсовые, дипломы, отчёты! Закроем долги под ключ 🔑 Ведём от первой сессии до диплома 🏆 Работаем с Синергией, МЭИ и другими вузами 🤝 Гарантия результата или возврат денег 💰 Пиши! 🚀
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
