Combining Static Analysis and Test Generation for {C} Program Debugging - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Combining Static Analysis and Test Generation for {C} Program Debugging

Abstract

Software validation remains crucial in software development process. Traditionally viewed as separate domains, static and dynamic analysis have complementary strengths and weaknesses and can be both applied to program validation and verification. This paper presents our ongoing work on a tool prototype called SANTE (Static ANalysis and TEsting), implementing a combination of static analysis and structural program tetsting for detection of run-time errors in C programs. First, a static analysis tool (Frama-C) is called to generate alarms when it cannot ensure the absence of run-time errors. Second, these alarms guide a structural test generation tool (PathCrawler) trying to confirm alarms by activating bugs on some test cases. Our experiments on real-life software show that this combination can outperform the use of each technique independently.
Fichier principal
Vignette du fichier
ckgj10_ip.pdf (254.78 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00563308 , version 1 (04-02-2011)

Identifiers

  • HAL Id : hal-00563308 , version 1

Cite

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. Combining Static Analysis and Test Generation for {C} Program Debugging. TAP'10, 4th Int. Conf. on Tests and Proofs, 2010, Spain. pp.94--100. ⟨hal-00563308⟩
379 View
279 Download

Share

Gmail Mastodon Facebook X LinkedIn More