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.
"Stored test cases that the product has previously executed must be rerun to ensure that the modifications made to add new functionality to the product have not destroyed the product's existing functionality".This statement is a description of:
A. configuration management
B. regression testing
C. proof of correctness
D. formal testing
E. robustness
When does testing stop?
A. when the product is retired
B. when the product is put into production
C. when it passes muster by the SQA group
D. when it is passed after acceptance testing