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

摘要

Compositional dynamic symbolic execution [1, 2] is a well-known technique for generating unit test data that would achieve high branch coverage for software with no floating point data types. However, if source code heavily depends on floating point computations, this method is unable to achieve good code coverage results. In this paper we present a method that would integrate both: compositional dynamic symbolic execution [3] and search-based test data generation methods to achieve better code coverage for embedded software that largely depends on floating point computations. We have implemented our method as an extension of a well-know symbolic execution engine - PEX [4]. Our extension implements search-based testing as an optimization technique using AVM [5] method. We present coverage comparison for several benchmark functions.