Stratégies Dynamiques pour la Génération de Contre-exemples

Nguyen Le Vinh 1 Hélène Collavizza 1 Michel Rueher 1 Samuel Devulder 2 Thierry Gueguen 2
1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe CEP
Laboratoire I3S - MDSC - Modèles Discrets pour les Systèmes Complexes
2 Geensys
Abstract : Checking safety properties is mandatory in the vali- dation process of critical software. When formal verica- tion tools fail to prove some properties, testing is neces- sary. Generation of counterexamples violating some pro- perties is therefore an important issue, especially for tri- cky programs the test cases of which are very difficult to compute. We propose in this paper dierent constraint based dynamic strategies for generating structural test cases that violate a post-condition of C or JAVA pro- grams. These strategies have been evaluated on stan- dard benchmarks and on real applications. Experiments on a real industrial Flasher Manager controller and on the public available implementation of the Traffic Col- lision Avoidance System (TCAS) show that our system outperforms state of the art model checking tools like CBMC or constraint based test generation systems like Euclide.
Type de document :
Communication dans un congrès
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216, 2010
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00520281
Contributeur : Christophe Lecoutre <>
Soumis le : mercredi 22 septembre 2010 - 18:26:20
Dernière modification le : lundi 5 novembre 2018 - 15:48:02
Document(s) archivé(s) le : jeudi 25 octobre 2012 - 11:21:02

Fichier

rueher.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : inria-00520281, version 1

Collections

UNICE | I3S | JFPC2010 | UNIV-COTEDAZUR

Citation

Nguyen Le Vinh, Hélène Collavizza, Michel Rueher, Samuel Devulder, Thierry Gueguen. Stratégies Dynamiques pour la Génération de Contre-exemples. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.207-216, 2010. 〈inria-00520281〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

283

Téléchargements de fichiers

173

Contact


archive-ouverte@inria.fr