Constraint-Based Software Testing

Article

Constraint-Based Software Testing

Sebastian Bardin,Bernard Botella,Frédéric Dadeau,Florence Charreteur,Arnaud Gotlieb,Bruno Marre+3 more-2008-01-01

4

TL;DRAbstract

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

Chat with Paper

AI Agents for this Paper

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

Keywords

Constraint (computer-aided design)NiceComputer scienceTest (biology)SoftwareOperations researchSoftware engineeringProcess (computing)

Chat

Click to start Chat