Title Generating unit tests for floating point embedded software using compositional dynamic symbolic execution
Translation of Title Vienetų testų generavimas slankiojo kablelio įterptinei programinei įrangai kompozicinio dinaminio simbolinio vykdymo metodu.
Authors Prelgauskas, J ; Bareisa, E
DOI 10.5755/j01.eee.122.6.1814
Full Text Download
Is Part of Elektronika ir elektrotechnika.. Kaunas : KTU. 2012, Nr. 6, p. 19-22.. ISSN 1392-1215. eISSN 2029-5731
Abstract [eng] 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.
Published Kaunas : KTU
Type Journal article
Language English
Publication date 2012
CC license CC license description