The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging

Omar Chebaro 1, 2 Nikolai Kosmatov 2 Alain Giorgetti 1, 3 Jacques Julliand 1
2 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This short paper presents a prototype tool called SANTE (Static ANalysis and TEsting) implementing an original method combining value analysis, program slicing and structural test generation for verification of C programs. First, value analysis is called to generate alarms when it can not guarantee the absence of errors. Then the program is reduced by program slicing. Alarm-guided test generation is then used to analyze the simplified program(s) in order to confirm or reject alarms.
Type de document :
Communication dans un congrès
Martin Gogolla and Burkhart Wolff. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. Springer Verlag, 6706, pp.78-83, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21768-5〉
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00622904
Contributeur : Alain Giorgetti <>
Soumis le : mardi 13 septembre 2011 - 09:07:15
Dernière modification le : jeudi 15 février 2018 - 08:48:09
Document(s) archivé(s) le : mercredi 14 décembre 2011 - 02:21:22

Fichier

CKGJ11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. Martin Gogolla and Burkhart Wolff. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. Springer Verlag, 6706, pp.78-83, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21768-5〉. 〈inria-00622904〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

176