AuthorsA. Gotlieb
EditorsA. Memon
TitleConstraint-Based Testing: An Emerging Trend in Software Testing
AfilliationSoftware Engineering, , Software Engineering
Project(s)The Certus Centre (SFI)
Publication TypeBook Chapter
Year of Publication2015
Book TitleAdvances in Computers
EditionADCOM, UK: Academic Press
Date Published10/2015
ISBN Number978-0-12-802131-6

Constraint-based testing is an emerging trend in software testing research and innovation. The general idea beneath this testing paradigm is to exploit a constraint solver to calculate the test inputs to be used 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 on simple examples and mentioning the main bibliographic references.


Contact person