Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution

Authors

  • J. Prelgauskas Kaunas University of Technology
  • E. Bareisa Kaunas University of Technology

DOI:

https://doi.org/10.5755/j01.eee.122.6.1814

Abstract

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).

DOI: http://dx.doi.org/10.5755/j01.eee.122.6.1814

Downloads

Published

2012-06-07

How to Cite

Prelgauskas, J., & Bareisa, E. (2012). Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. Elektronika Ir Elektrotechnika, 122(6), 19-22. https://doi.org/10.5755/j01.eee.122.6.1814

Issue

Vol. 122 No. 6 (2012)

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.