Department of Information Technology

Constraint-Based Testing

Speaker

Arnaud Gotlieb, INRIA Rennes, France

Date and Time

Wednesday, May 19th, 2010 at 15:15

Location

Polacksbaken, room 1211

Abstract

In the context of software testing, constraint-based testing (CBT) aims at generating test cases from programs or models to reach test objectives by using constraint programming techniques. Recently, CBT methods received much attention due to several research projects launched in France and abroad. This talk will review some of the achievements accomplished in this area by focusing on the problems related to the handling of control flow structures and dynamic data structures with abstraction-based constraint combinators. It will also draw some perspectives on the way CBT could be developed to address realistic case studies.

Back to the seminar page

Updated  2010-05-12 17:50:23 by Frédéric Haziza.