Пусть наследник класса переопределил метод М родителя, задав например реализацию отложенного метода М. В контракте метода М у родителя задано постусловие Р, которое должно выполняться при вызове М. Какие утверждения справедливы относительно постусловия РР метода М в классе наследника?

Правильный ответ:

• # Пусть заданы классы P и F – родители класса S, а M – метод с одним и тем же именем в классах P и F. Какие утверждения в этой ситуации являются справедливыми?
• # Основная операция в ООП – это операция вызова x.M(…). Здесь x – это объект – цель вызова. Метод М задает операцию, применяемую к объекту x. Какие утверждения о методах и объектах являются справедливыми?
• # Выражение может быть получено из выражения путем подстановки – заменой вхождений переменной подвыражением . Какие утверждения справедливы относительно подстановки?
• # Проектирование, управляемое событиями, - это стиль, определяющий архитектуру проекта. Он широко применяется в тех случаях, когда программа взаимодействует с внешним миром, - в интерактивных приложениях, в программах, управляющих производственными процессами. Какие утверждения справедливы для этого стиля проектирования?
• # Какие утверждения относительно факторов качества ПО являются справедливыми?