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.
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00699260
Contributor : Arnaud Gotlieb <>
Submitted on : Sunday, May 20, 2012 - 9:33:32 AM
Last modification on : Thursday, November 15, 2018 - 11:57:41 AM
Document(s) archivé(s) le : Tuesday, August 21, 2012 - 2:20:48 AM

Identifiers

  • HAL Id : tel-00699260, version 1

Citation

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⟩

Share

Metrics

Record views

537

Files downloads

1281