Главная /
Объектное программирование в классах на С# 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 , удовлетворяющем предусловию, тотально корректный метод P может завершить свою работу, а может и зациклиться
на входе
x , удовлетворяющем предусловию, тотально корректный метод P завершит свою работу, и на выходе гарантируется выполнение постусловия
на входе
x , удовлетворяющем предусловию, тотально корректный метод P завершит свою работу, но на выходе не гарантируется выполнение постусловия
если на входе
x , удовлетворяющем предусловию, метод P не завершит свою работу (зациклится), то это означает, что метод не является тотально корректным Сложность вопроса
75
Сложность курса: Объектное программирование в классах на С# 3.0
20
Оценить вопрос
Комментарии:
Аноним
Экзамен сдан на 5.!!!
28 июл 2020
Аноним
Экзамен прошёл и ладушки. спс
27 июн 2016
Другие ответы на вопросы из темы программирование интуит.
- # Укажите, для каких сущностей и элементов программы могут быть заданы атрибуты:
- # Корректность программы и ее тестирование - это тесно связанные понятия. Укажите высказывания, истинные для связи этих понятий:
- # Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (полностью, или тотально) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны по отношению к тотально корректному методу P :
- # Укажите истинное высказывание:
- # Класс, являющийся наследником интерфейса: