Constraint-Based Software Testing
Sebastian Bardin, Bernard Botella, Frédéric Dadeau, Florence Charreteur, Arnaud Gotlieb, Bruno Marre, Claude Michel, Michel Rueher, Nicky Williams · 2008
Abstract. Constraint-Based Testing (CBT) is the process of generating test cases from programs or models by using the Constraint Programming technology. Recently, this method received much attention due to several Research projects launched in France and abroad. This paper aims at presenting the main CBT tools developped by four Research labs: CEA Laboratoire de Sûreté des Logiciels, INRIALande research team, Laboratoire d’Informatique de Franche-Comté, andCeP team of University of Nice–Sophia Antipolis. The paper concludes by drawing some perspectives on open problems in CBT. 1