An input specification is:

An input specification is:

A.a claim that a certain mathematical property holds true at a given point.

B.is a mathematically expression that holds true under all conditions tested.

C.a function of the range of conditions under which it will operate.

D.a condition that holds true before the code is executed.

E.a condition that holds true after the code is executed.

正确答案是D