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

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader