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.

Domains

Software Engineering [cs.SE]
Fichier principal
Vignette du fichier
CKGJ11.pdf (64.36 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Alain Giorgetti  : Connect in order to contact the contributor

https://inria.hal.science/inria-00622904

Submitted on : Tuesday, September 13, 2011-9:07:15 AM

Last modification on : Wednesday, April 3, 2024-11:14:11 AM

Long-term archiving on: Wednesday, December 14, 2011-2:21:22 AM

Download

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE DRT UNIV-LORRAINE INRIA2 LORIA LORIA-FM LIST GS-SPORT-HUMAN-MOVEMENT
239 View
343 Download

Altmetric

Share

Gmail Facebook X LinkedIn More