Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions à la génération de tests à base de contraintes

Arnaud Gotlieb 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : These last years have seen the development of several constraint solving techniques dedicated to the testing of software systems, in an area called ''Constraint-Based Testing''. Our approach in this research domain consists to explore how Constraint Programming techniques can help the automatic generation of tests for imperative programs. We have addressed hard combinatorial problems resulting from automatic test cases generation by developing constraint propagation and filtering techniques well-tuned for handling control and data structures of imperative programs. Our habilitation tries to establish a first synthesis of the domain through five contributions, namely hybrid constraint solving for automatic test case generation, probabilistic test generation through probabilistic constraint combinator, constraints over abstract memory models, constraint solving over floating-point expressions and testing of constraint programs. We also illustrate these contributions through their application to critical software verification, and draw several research perspectives to our work.
Complete list of metadatas
Contributor : Arnaud Gotlieb <>
Submitted on : Sunday, May 20, 2012 - 9:33:32 AM
Last modification on : Monday, October 19, 2020 - 11:07:31 AM
Long-term archiving on: : Tuesday, August 21, 2012 - 2:20:48 AM


  • HAL Id : tel-00699260, version 1


Arnaud Gotlieb. Contributions à la génération de tests à base de contraintes. Génie logiciel [cs.SE]. Université Européenne de Bretagne, 2011. ⟨tel-00699260⟩



Record views


Files downloads