Foundations of Software Testing, 2nd Edition

Part II

Test Generation

Generation of test inputs and the corresponding expected outputs is an essential activity in any test organization. The input data and the corresponding expected output are wedded into a test case. A collection of test data becomes a test set or a test suite.

There exist a wide range of guidelines, techniques, and supporting tools to generate test cases. On one extreme, these include guidelines such as the use of boundary value analysis while on the other there exist formal techniques for generating test data from formal specifications such as those specified in the Ζ notation. In addition, there are test generation techniques that rely exclusively on the code under test and generate tests that satisfy some code coverage ...