The sante tool: value analysis, program slicing and test generation for C program debugging

Authors:
Omar Chebaro;Nikolai Kosmatov;Alain Giorgetti;Jacques Julliand
Affiliations:
CEA, LIST, Software Safety Laboratory, Gif-sur-Yvette, France and LIFC, University of Franche-Comté, Besançon Cedex France;CEA, LIST, Software Safety Laboratory, Gif-sur-Yvette, France;LIFC, University of Franche-Comté, Besançon Cedex France and INRIA Nancy - Grand Est, Villers-lès-Nancy France;LIFC, University of Franche-Comté, Besançon Cedex France
Venue:
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Year:
2011

Citing 4
Cited 3

Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
CUTE: a concolic unit testing engine for C

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Combining static analysis and test generation for C program debugging

TAP'10 Proceedings of the 4th international conference on Tests and proofs
PathCrawler: automatic generation of path tests by combining static and dynamic analysis

EDCC'05 Proceedings of the 5th European conference on Dependable Computing

Program slicing enhances a verification technique combining static and dynamic analysis

Proceedings of the 27th Annual ACM Symposium on Applied Computing
A lesson on structural testing with pathcrawler-online.com

TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Behind the scenes in SANTE: a combination of static and dynamic analyses

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.