|
Accession Number
|
N20120011812
|
|
Title
|
Symbolic Execution Enhanced System Testing.
|
|
Publication Date
|
Jan 2012
|
|
Media Count
|
16p
|
|
Personal Author
|
C. S. Pasareanu M. D. Davies V. Raman
|
|
Abstract
|
We describe a testing technique that uses information computed by symbolic execution of a program unit to guide the generation of inputs to the system containing the unit, in such a way that the unit's, and hence the system's, coverage is increased. The symbolic execution computes unit constraints at run-time, along program paths obtained by system simulations. We use machine learning techniques treatment learning and function fitting to approximate the system input constraints that will lead to the satisfaction of the unit constraints. Execution of system input predictions either uncovers new code regions in the unit under analysis or provides information that can be used to improve the approximation. We have implemented the technique and we have demonstrated its effectiveness on several examples, including one from the aerospace domain.
|
|
Keywords
|
Algorithms
Commercial off-the-shelf products
Computer systems programs
Data mining
Iteration
Machine learning
Mathematical models
Operating systems(Computers)
Performance tests
Systems simulation
Trees(Mathematics)
|
|
|
Source Agency
|
National Aeronautics and Space Administration
|
|
NTIS Subject Category
|
62 - Computers, Control & Information Theory
|
|
Corporate Author
|
National Aeronautics and Space Administration, Moffett Field, CA. Ames Research Center.
|
|
Document Type
|
Conference proceedings
|
|
Title Note
|
N/A
|
|
NTIS Issue Number
|
1226
|
|
Contract Number
|
NNA08CG83C NNA10DE60C
|
