Главная /
Объектное программирование в классах на С# 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 Сложность вопроса
77
Сложность курса: Объектное программирование в классах на С# 3.0
20
Оценить вопрос
Комментарии:
Аноним
Какой человек ищет данные тесты inuit? Это же легко
22 апр 2017
Аноним
Экзамен сдал и ладушки. Спасибо сайту
02 янв 2016
Другие ответы на вопросы из темы программирование интуит.
- # Укажите синтаксически корректную формулу, задающую объявление события в классе:
- # Для доказательства корректности цикла, как правило, используется понятие инварианта цикла. Какие утверждения являются справедливыми для этого понятия:
- # Укажите высказывания, истинные для метода, называемого индексатором:
- # Пусть дано описание перечисления, заданного шкалой [Flags] public enum Profession { плотник = 1, столяр = 2, водитель = 4, учитель = 8, врач = 16 } В результате выполнения фрагмента кода Profession worker = Profession.плотник; worker = worker | Profession.столяр | (Profession.врач | Profession.учитель); Console.WriteLine(worker.ToString()); будет напечатано:
- # Пусть класс, являющийся наследником интерфейса, реализует метод интерфейса как открытый метод класса. В этом случае: