1. Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion
- Author
-
Takenobu Aoshima, Wei-Ngan Chin, Anh-Hoang Truong, and Tuan-Hung Pham
- Subjects
Fixed-point conversion ,Floating point ,General Computer Science ,Computer science ,Real-time computing ,Code coverage ,Fixed point ,Porting ,Quality assurance ,Theoretical Computer Science ,Test (assessment) ,Test cases generation ,Personal computer ,Test suite ,Algorithm ,Computer Science(all) - Abstract
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. After that we propose a method to generate a better test suite from a given one for the test adequacy criteria. We also show experimental results on some well-known mathematical functions.
- Full Text
- View/download PDF