Нехай P(x,z) - метод P з вхідними аргументами x і вихідними z , і нехай P(x,z) коректний (повністю, або тотально) по відношенню до передумов Pre(x) і постусловіем Post(x,z) . Які висловлювання істинними по відношенню до тотально коректному методу P :

( *** CSharp 3.1 *** )

Question

Нехай P(x,z) - метод P з вхідними аргументами x і вихідними z , і нехай P(x,z) коректний (повністю, або тотально) по відношенню до передумов Pre(x) і постусловіем Post(x,z) . Які висловлювання істинними по відношенню до тотально коректному методу P : 
 
( ***  CSharp 3.1 ***  )

Answer

якщо на вході x , передумова приймає значення false , то на такому вході тотально коректний метод P може вести себе будь-яким чином, залишаючись коректним

Answer

програмісту найбільш складно забезпечити коректну роботу методу P , коли передумова методу задається константою true , оскільки потрібно забезпечити виконання постумови на всіх входах

Answer

програмісту найбільш складно забезпечити коректну роботу методу P , коли передумова методу задається константоюfalse

Crowdly

Нехай P(x,z) - метод P з вхідними аргументами x і вихідними z , і нехай P(x,z) к...

Want instant access to all verified answers on moodle.chnu.edu.ua?