Главная /
Объектное программирование в классах на C# 3.0 /
Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (полностью, или тотально) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны по отношению к тотально корректному методу P :
Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (полностью, или тотально) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны по отношению к тотально корректному методу P :
вопрос
Правильный ответ:
если на входе
x , предусловие принимает значение false , то на таком входе тотально корректный метод P может вести себя любым образом, оставаясь корректным
программисту наиболее сложно обеспечить корректную работу метода
P , когда предусловие метода задается константой true , поскольку требуется обеспечить выполнение постусловия на всех входах
программисту наиболее сложно обеспечить корректную работу метода
P , когда предусловие метода задается константой false Сложность вопроса
57
Сложность курса: Объектное программирование в классах на C# 3.0
74
Оценить вопрос
Комментарии:
Аноним
Экзамен прошёл на пять. Спасибо за ответы
05 сен 2020
Аноним
Гранд мерси за тесты по intuit.
02 дек 2015
Другие ответы на вопросы из темы программирование интуит.
- # Укажите истинные высказывания:
- # Классы А и В находятся в отношении "клиент - поставщик", если:
- # Укажите высказывания, истинные для конструкторов делегата - класса, задаваемого ключевым словом delegate:
- # В языке C# допустимо применение анонимных методов. При задании анонимного метода можно использовать механизм делегатов. Укажите синтаксическую формулу, корректно задающую анонимный метод:
- # Задание атрибута можно рассматривать как вызов конструктора атрибутного класса и создание соответствующего объекта, связанного с сущностью, для которой атрибут задается. Укажите, какие синтаксические формы допустимы для задания атрибута, в атрибутном классе которого нет позиционных полей: