Question

What is precondition?

(a) It is an assertion that must be true at the initiation of an operation

(b) It is an assertion that must be true upon completion of an operation

(c) It is a statement that must be true at a designated point in a program

(d) None of the mentioned

I had been asked this question by my school teacher while I was bunking the class.

I would like to ask this question from Operation Specification topic in chapter Visibility, Accessibility and Information Hiding of Software Architecture

Answer 1

The correct option is (a) It is an assertion that must be true at the initiation of an operation

To explain I would say: A precondition is an assertion that must be true at the initiation of an operation and A post condition is an assertion that must be true upon completion of an operation.