The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

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

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.
Fichier principal
Vignette du fichier
CKGJ11.pdf (64.36 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00622904 , version 1 (13-09-2011)

Identifiers

Cite

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging. 5th International Conference on Tests & Proofs, Jun 2011, Zurich, Switzerland. pp.78-83, ⟨10.1007/978-3-642-21768-5⟩. ⟨inria-00622904⟩
241 View
346 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More