Пусть P(x,z) - метод P с входными аргументами x и выходными z , и пусть P(x,z) корректен (полностью, или тотально) по отношению к предусловию Pre(x) и постусловию Post(x,z) . Какие высказывания истинны по отношению к тотально корректному методу P :
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
если на входе x , предусловие принимает значение false , то на таком входе тотально корректный метод P может вести себя любым образом, оставаясь корректным(Верный ответ)
программисту наиболее сложно обеспечить корректную работу метода P , когда предусловие метода задается константой true , поскольку требуется обеспечить выполнение постусловия на всех входах(Верный ответ)
программисту наиболее сложно обеспечить корректную работу метода P , когда предусловие метода задается константой false