Chapter Two
Constraint-Based Testing
An Emerging Trend in Software Testing
Arnaud Gotlieb Simula Research Laboratory, Norway
Abstract
Constraint-based testing is an emerging trend in software testing research and innovation. The general idea beneath this testing paradigm is to exploit constraint solving and optimization to generate test cases for testing a software system, so that the fault-revealing capabilities of the testing process can be improved. The incredible progresses achieved these last years on the development of powerful constraint solvers have fostered the emergence of effective and efficient constraint-based testing techniques. This chapter reviews in detail the main achievements reached in the field by illustrating them ...
