A unified symbolic execution system

Author

Koutsikas, C. ; Malevris, N.

Author_Institution

Nat. Tech. Univ. of Athens, Greece

fYear

2001

fDate

2001

Firstpage

466

Lastpage

469

Abstract

Test data generation is one of the hardest tasks in the software life-cycle. Many testing methods try to answer this question, all in a heuristic way. Symbolic execution is one such software testing method that can be used either for program evaluation or in order to assist the automated test data generation process. A number of systems employing symbolic execution for test data generation have already been built. In this paper, a new symbolic execution system is presented, which can be used regardless of the language in which the program under test is written. The system is called VOLCANO and the scripts are written in SYMEXLAN (SYMbolic EXecution LANguage), a scripting language that can be either an intermediate representation for many other languages or a symbolic execution language that facilitates the symbolic execution process

Keywords

authoring languages; automatic test software; computer aided software engineering; program testing; symbol manipulation; SYMEXLAN scripting language; VOLCANO; automated test data generation; heuristics; intermediate representation; software testing method; symbolic execution language; unified symbolic execution system; Automatic generation control; Automatic testing; Character generation; Computer languages; Flow graphs; Life testing; Software quality; Software testing; System testing; Volcanoes;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications, ACS/IEEE International Conference on. 2001

Conference_Location

Beirut

Print_ISBN

0-7695-1165-1

Type

conf

DOI

10.1109/AICCSA.2001.934045

Filename

934045