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