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

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.

URLhttp://elsev.spi-bpo.com/books/EComp

Contact person