Postcondition is – McqOptions

MCQOPTIONS

1.	Postcondition is
A.	predicate p required to hold after execution of statement s
B.	predicate q such that execution of s terminates & p holds upon termination
C.	either a or b
D.	both true
Answer» B. predicate q such that execution of s terminates & p holds upon termination

Discussion

No Comment Found

Related MCQs

What will be the output of the following code?int main() { char ch; ch=129; printf("%d\n",ch); return 0; }
Any manipulation on the formal parameters doesn’t have effect on values in activation of the_____.
exception handling is for….
…………………..defines the meaning of the program.
………………….hints at characteristics of language , which are related to language user.
choose the correct? I)procedure is a kind of routine that return a value? II)functio is a kind of routine that dose no return any value?
The syntax of language id define by two sets…
Which of the following logic is used to produce loops in programme logic?1)A data object that is characterized and named unequivocally in a program is named as…………...
What will be the output of the following code? #include<iostream.h> using namespace std; int main() { float a='a'; cout<<a;return 0; }
…………………means combine available symbol to create well formed sentences in the language