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

Arnaud Gotlieb 1
1 CELTIQUE - Software certification with semantic analysis
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
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 : Thursday, November 15, 2018 - 11:57:41 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