Chapter Two

Constraint-Based Testing

An Emerging Trend in Software Testing

Arnaud Gotlieb    Simula Research Laboratory, Norway


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 ...

Get Advances in Computers now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.