Software testing (chapter 5 Criteria-Based Test Design)

Q1. True or false

1) A coverage criterion C1 subsumes C2 if every test set that satisfies criterion C1 also
satisfies C2 (True)
2) Test requirements that cannot be satisfied are called infeasible (True)
3) A generator is a procedure that decides whether a set of test case values satisfies a
criterion (False)

Q2. MCQ

1) is that satisfying one criterion will guarantee that another one is satisfied
a. Infeasibility
b. Subsumption
c. Coverage level
2) Given a set of test requirements T R and a test set T that satisfies all test requirements, if
removing any single test from T will cause T to no longer satisfy all test requirements
a. Minimal Test Set
b. Minimum Test Set
c. Coverage level
3) In MDTD model, This phase can be done in either Criteria-Based or in Human-Based
where Design test which is comparatively harder
a. Test Design
b. Test Automation
c. Test Execution

Q3. Essay

1) What are the two methods to use coverage criteria?

 Directly generate test case values to satisfy the criterion
 Generate test case values externally (by hand or using a pseudo-random tool) and
then measure the tests against the criterion in terms of their coverage
2) What advantages of using coverage criteria?
 Fewer tests that are more effective at finding faults
 Comprehensive test set with minimal overlap
 Traceability from software artifacts to tests
 A “stopping rule” for testing—advance knowledge of how many tests are needed
 Natural to automate
3) What makes a coverage criterion good?
 It should be fairly easy to compute test requirements automatically
 It should be efficient to generate test values
 The resulting tests should reveal as many faults as possible