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

fYear

2014

fDate

27-29 June 2014

Firstpage

845

Lastpage

848

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on

Conference_Location

Beijing

ISSN

2327-0586

Print_ISBN

978-1-4799-3278-8

Type

conf

DOI

10.1109/ICSESS.2014.6933698

Filename

6933698