Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution
DOI:
https://doi.org/10.5755/j01.eee.122.6.1814Abstract
We present a method that would integrate both: compositional dynamic symbolic execution and search-based test data generation methods to achieve better code coverage for software that largely depends on floating point computations. We have implemented our method as an extension of a well-know symbolic execution engine – PEX. Our extension implements search-based testing as an optimization technique using AVM method. We present coverage comparison for several benchmark functions. Ill. 1, bibl. 17, tabl. 2 (in English; abstracts in English and Lithuanian).Downloads
Published
2012-06-07
Issue
Section
SYSTEM ENGINEERING, COMPUTER TECHNOLOGY
License
The copyright for the paper in this journal is retained by the author(s) with the first publication right granted to the journal. The authors agree to the Creative Commons Attribution 4.0 (CC BY 4.0) agreement under which the paper in the Journal is licensed.
By virtue of their appearance in this open access journal, papers are free to use with proper attribution in educational and other non-commercial settings with an acknowledgement of the initial publication in the journal.
How to Cite
Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. (2012). Elektronika Ir Elektrotechnika, 122(6), 19-22. https://doi.org/10.5755/j01.eee.122.6.1814
