Which of the following is true?
A. A precondition is an assertion must be true at the completion of an activity
B. A post condition is an assertion must be true at the initiation of an activity
C. An interface specification should cover syntax, semantics, pragmatics of communication between module and its environment
D. All of the mentioned
Answer:A
Which of the following is true?
A. A precondition is an assertion must be true at the completion of an activity B. A post condition is an assertion must be true at the initiation of an activity C. An interface specification should cover syntax, semantics, pragmatics of communication between module and its environment D. All of the mentioned
Explanation: The correct statement of the incorrect ones are A precondition is an assertion must be true at the initiation of an activity whereas a post condition is an assertion must be true at the completion of an activity.