An assertion 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.
An invariant 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.
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.
An output specification is:
A. a claim that a certain mathematical property holds true at a given point.
B. a condition that holds true after the code is executed.
C. a function of the range of conditions under which it will operate.
D. a condition that holds true before the code is executed.
Which of the following statements about correctness proofs is false?
A. Proofs are important where human lives are at stake.
B. Proofs are important where indicated by cost-benefit analysis.
Correctness proving is sufficient and no other testing is required.
D. The claims that software engineers do not have adequate mathematical training, proving is too expensive to be practical and proving is too hard are oversimplifications.
E. All of these statements are false.
微信支付 
支付宝支付