1. Go back to the software qualities discussed in Chapter 2. Classify all of the

1. Go back to the software qualities discussed in Chapter 2. Classify all of them with respect to the following verifiability issues: a. Are they objective or subjective? b. Are they binary or not? c. Are they more or less relevant in different applications and environments? 2. We say that ; is more reliable than C, if whenever a program P is incorrect, it cannot hap-pen that a test set T2 satisfying C2 causes P's failure whereas ; satisfying C, does not. Show that it is not the case that if c, is finer than C2, then C, is more reliable than C2. Give a condition that does guarantee such an implication.

You may also like