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

Omar Chebaro; Nikolai Kosmatov; Alain Giorgetti; Jacques Julliand

inria-00622904, version 1

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

Omar Chebaro^a^, 1, 2, Nikolai Kosmatov^a^, 2, Alain Giorgetti () ^1, 3, Jacques Julliand ()^b^, 1

5th International Conference on Tests & Proofs 6706 (2011) 78-83

Résumé : 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.

a – CEA
b – Université de Franche-Comté
1 : Laboratoire d'Informatique de Franche-Comté (LIFC)
Université de Franche-Comté : EA4269
2 : Laboratoire Sûreté des Logiciels (LSL)
CEA : DRT/LIST
3 : CASSIS (INRIA Lorraine - LORIA / LIFC)
INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

inria-00622904, version 1
http://hal.inria.fr/inria-00622904
oai:hal.inria.fr:inria-00622904
Contributeur : Alain Giorgetti <>
Soumis le : Mardi 13 Septembre 2011, 09:07:15
Dernière modification le : Vendredi 18 Novembre 2011, 16:38:06

Voir la fiche détaillée

Documents associés

PDF :

DOI : 10.1007/978-3-642-21768-5

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00622904"><analytic>
<author><persName><forename>Omar</forename><surname>Chebaro</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">LSL</orgName>
<orgName type="team">Laboratoire Sûreté des Logiciels</orgName>
<country>FR</country>
<orgName type="institution">CEA : DRT/LIST</orgName>
</affiliation>
</author>
<author><persName><forename>Nikolai</forename><surname>Kosmatov</surname></persName>
<affiliation>
<orgName type="laboratory">LSL</orgName>
<orgName type="team">Laboratoire Sûreté des Logiciels</orgName>
<country>FR</country>
<orgName type="institution">CEA : DRT/LIST</orgName>
</affiliation>
</author>
<author><persName><forename>Alain</forename><surname>Giorgetti</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Jacques</forename><surname>Julliand</surname></persName>
<affiliation>
<orgName type="laboratory">LIFC</orgName>
<orgName type="team">Laboratoire d'Informatique de Franche-Comté</orgName>
<country>FR</country>
<orgName type="institution">Université de Franche-Comté : EA4269</orgName>
</affiliation>
</author>
<title type="main" level="a">The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging</title></analytic><monogr><meeting>5th International Conference on Tests & Proofs</meeting><imprint><publisher>Springer Verlag</publisher><pubPlace><settlement>Zurich</settlement><country>Suisse</country></pubPlace><biblScope type="publicationDate">2011-06-30</biblScope><biblScope type="vol">6706</biblScope><biblScope type="pp">78-83</biblScope></imprint></monogr><idno type="doi">10.1007/978-3-642-21768-5</idno><idno type="HALid">http://hal.inria.fr/inria-00622904</idno><idno type="HALFile">http://hal.inria.fr/inria-00622904/PDF/CKGJ11.pdf</idno></biblStruct>
</listBibl>
</listBibl>