Journal article
Using symbolic execution to guide test generation
Software Testing, Verification and Reliability, Vol.15(1), pp.41-61
2005
Abstract
Although a number of weaknesses of symbolic execution, when used for software testing, have been highlighted in the literature, the recent resurgence of strongly-typed languages has created opportunities for re-examining symbolic execution to determine whether these shortfalls can be overcome. This paper discusses symbolic execution in general and makes two contributions: (a) overcoming one of the key problems, analysing programs with indexed arrays; and (b) describing the incorporation of a symbolic execution module for test case generation into an integrated testing tool. For methods which index arrays, a new approach determines all the possible values of each array index, allowing the generation of equivalence classes for every possible combination of array element aliases. An incremental simplification approach, which converts path expressions to canonical forms in order to identify infeasible paths at the earliest opportunity and thus reduce the analysis time, is also described. Symbolic execution is most effective when included in an integrated test and analysis environment: a component test bench was built with a symbolic execution module integrated into it, providing a toolbox of software component test and code analysis methods aimed at programmers at all levels.
Details
- Title
- Using symbolic execution to guide test generation
- Authors/Creators
- G. Lee (Author/Creator) - The University of Western AustraliaJ. Morris (Author/Creator) - Chung-Ang UniversityK. Parker (Author/Creator) - Murdoch UniversityG.A. Bundell (Author/Creator) - The University of Western AustraliaP. Lam (Author/Creator) - Edith Cowan University
- Publication Details
- Software Testing, Verification and Reliability, Vol.15(1), pp.41-61
- Publisher
- John Wiley & Sons Ltd
- Identifiers
- 991005542711907891
- Copyright
- © 2004 John Wiley & Sons, Ltd.
- Murdoch Affiliation
- School of Engineering Science
- Language
- English
- Resource Type
- Journal article
Metrics
111 Record Views
InCites Highlights
These are selected metrics from InCites Benchmarking & Analytics tool, related to this output
- Collaboration types
- Domestic collaboration
- International collaboration
- Citation topics
- 4 Electrical Engineering, Electronics & Computer Science
- 4.47 Software Engineering
- 4.47.1111 Software Testing
- Web Of Science research areas
- Computer Science, Software Engineering
- ESI research areas
- Computer Science