University of Minnesota
Software Engineering Center

You are here

Takenobu Aoshima

Recent Publications

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion

Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion hence requires the latter be as close as possible to the former. The closeness is orthogonal to code coverage and requires different strategies to generate a test suite that reveals the gap between the two functions. We introduce a new test adequacy criterion and propose several metrics to quantify the closeness of two functions.