Нехай 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 ***  )

Accepted Answer

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

Answer

якщо на вході x , що задовольняє передумов, метод P не від'ôднаôтесь свою роботу (зациклиться), то це означає, що метод не є умовно коректним

Answer

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

Answer

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

Crowdly

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

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