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

  • Omar Chebaro
  • Nikolai Kosmatov
  • Alain Giorgetti
  • Jacques Julliand
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6706)

Abstract

This short paper presents a prototype tool called \(\mbox{\sc 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.

Keywords

static analysis program slicing all-paths test generation run-time errors alarm-guided test generation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Combining static analysis and test generation for C program debugging. In: Fraser, G., Gargantini, A. (eds.) TAP 2010. LNCS, vol. 6143, pp. 94–100. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. 2.
    Weiser, M.: Program slicing. In: ICSE 1981, pp. 439–449 (1981)Google Scholar
  3. 3.
    Frama-C: Framework for static analysis of C programs (2007-2011), http://www.frama-c.com/
  4. 4.
    Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: Automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 281–292. Springer, Heidelberg (2005)Google Scholar
  5. 5.
    Botella, B., Delahaye, M., Hong-Tuan-Ha, S., Kosmatov, N., Mouy, P., Roger, M., Williams, N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST, pp. 70–78 (2009)Google Scholar
  6. 6.
    Kosmatov, N.: Online version of the PathCrawler test generation tool (2010-2011), http://pathcrawler-online.com/
  7. 7.
    Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC/FSE 2005, pp. 263–272 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Omar Chebaro
    • 1
    • 2
  • Nikolai Kosmatov
    • 1
  • Alain Giorgetti
    • 2
    • 3
  • Jacques Julliand
    • 2
  1. 1.CEA, LISTSoftware Safety LaboratoryGif-sur-YvetteFrance
  2. 2.LIFCUniversity of Franche-ComtéBesançon CedexFrance
  3. 3.INRIA Nancy - Grand Est, CASSIS projectVillers-lès-NancyFrance

Personalised recommendations