Title :
Automated test generation on path-based symbolic execution
Author :
Zhang Min ; Fu Min
Author_Institution :
Sch. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Abstract :
This paper describes the path-based symbolic execution of programs in order to solve the “path-storm” problem in traditional symbolic execution. Instead of using execution tree, execution digraph is used, and the program execution is simplified by clustering the execution of loops, and decrease the paths generated from the execution of loops by classifying the constraints. The verification and analysis of path-based symbolic execution algorithm are included.
Keywords :
constraint handling; formal verification; graph theory; pattern classification; pattern clustering; program testing; symbol manipulation; automated test generation; constraint classification; execution digraph; loop execution clustering; path-based symbolic execution; path-storm problem; program verification; software testing; Algorithm design and analysis; Educational institutions; Finite element analysis; Software; Software algorithms; Storms; Testing; execution digraph; path-based; software testing; symbolic execution;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4799-3278-8
DOI :
10.1109/ICSESS.2014.6933698
