Title :
A Late Treatment of C Precondition in Dynamic Symbolic Execution
Author :
Delahaye, Mickael ; Kosmatov, Nikolai
Author_Institution :
LIG, Univ. Grenoble-Alpes, Grenoble, France
Abstract :
Relevance of automatically generated test cases depends on an appropriate definition of a test context, or precondition. This paper presents a novel method for handling a precondition in dynamic symbolic execution (DSE) testing tools. This method allows PathCrawler, a DSE tool for C programs, to accept a precondition defined as a C function. It provides a simple way to express a precondition even for developers who are not familiar with specification formalisms. It has also proven useful when combining static and dynamic analysis.
Keywords :
C language; program diagnostics; program testing; C function; C precondition; C program; DSE testing tool; PathCrawler; dynamic analysis; dynamic symbolic execution; static analysis; Conferences; Context; Educational institutions; Electronic mail; Java; Software testing; concolic testing; dynamic symbolic execution; executable preconditions; test input generation;
Conference_Titel :
Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
Conference_Location :
Luxembourg
Print_ISBN :
978-1-4799-1324-4
DOI :
10.1109/ICSTW.2013.34
