Foundations of Software Testing: Fundamental Algorithms and Techniques

II

Part

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

techniques for generating test data from formal

specifications such as those specified in the Z notation.

In addition, there are test-generation techniques that

rely ex