
7
Test-Adequacy
Assessment
Using Program
Mutation
CONTENT
7.1 Introduction
7.2 The test-selection problem
7.3 Equivalence partitioning
7.4 Boundary-value analysis
7.5 Category-partition method
7.6 Cause-effect graphing
7.7 Test generation from predicates
The purpose of this chapter is to introduce
program mutation as a technique for the
assessment of test adequacy and the
enhancement of test sets. The chapter also
focuses on the design and use of mutation
operators for procedural and
objected-oriented programming
languages.