Techniques to answer “Is my testing adequate?” are introduced in the next two chapters. Chapter 7 presents the foundations of test completeness as defined by Goodenough and Gerhart. This is followed by definitions and illustrations of test adequacy criteria based on the control flow and data flow structure of the program under test.
Chapter 8 is an in-depth presentation of some of the most powerful test adequacy criteria based on program mutation. In each of the two chapters mentioned, we provide several examples to show how errors are detected, or not detected, while enhancing an inadequate test set with reference to an adequacy criterion.
3.129.210.91