DocumentCode :
725862
Title :
GuideSE: Annotations for Guiding Concolic Testing
Author :
Sen, Koushik ; Tanno, Haruto ; Xiaojing Zhang ; Hoshino, Takashi
fYear :
2015
fDate :
23-24 May 2015
Firstpage :
23
Lastpage :
27
Abstract :
Dynamic symbolic execution or concolic testing has been proposed recently to effectively generate test inputs for real-world programs. Unfortunately, dynamic symbolic execution techniques do not scale well for large realistic programs, because often the number of feasible execution paths of a program increases exponentially with the increase in the length of an execution path. We believe that programmers usually have a good understanding of programs they write and could help concolic testing to guide path exploration effectively so that concolic testing can achieve the desired testing goal quickly. In this paper, we propose a simple annotation mechanism, called Guide SE, that enables a programmer to guide concolic testing by annotating the program under test. We have currently identified three mechanisms for providing these annotations: control annotations, equivalence annotations, and data annotations. Controls annotations allow a programmer to specify the paths of interest using regular expressions. Equivalence annotations enable a programmer to prune paths that result in user defined equivalent states. Data annotations allow a programmer to abstract portions of the program under test and to explore the reduced path space of the abstract program.
Keywords :
formal languages; program testing; software quality; GuideSE; concolic testing guidance; control annotations; data annotations; dynamic symbolic execution; equivalence annotations; execution path; program-under-test; reduced path space exploration; regular expressions; software quality; test input generation; user defined equivalent states; Arrays; Benchmark testing; Concrete; Engines; Java; Space exploration;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automation of Software Test (AST), 2015 IEEE/ACM 10th International Workshop on
Conference_Location :
Florence
Type :
conf
DOI :
10.1109/AST.2015.12
Filename :
7166261
Link To Document :
بازگشت