Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Generation

SUMMARY

This chapter has covered a well-known set of techniques for the gen-

eration of tests for software applications. These techniques fall un-

der the general umbrella of model-based testing and assist with the

generation of tests using combinatorial designs. The primary goal

of these techniques is to allow the selection of a small number of

tests, or test configurations, from a potentially huge test input, or

test configuration, domain. While this is also the goal of techniques

such as equivalence partitioning and boundary-value analysis, test

generation based on combinatorial designs is a more formal, and

often complementary, discipline ...