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)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2 LSL - Laboratoire Sûreté des Logiciels
3 CASSIS - Combination of approaches to the security of infinite states systems

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.

Domaines: Génie logiciel [cs.SE]

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⟩