Please use this identifier to cite or link to this item:
|Title:||Test case generation for adequacy of floating-point to fixed-point conversion|
Test cases generation
|Citation:||Pham, T.-H., Truong, A.-H., Chin, W.-N., Aoshima, T. (2010). Test case generation for adequacy of floating-point to fixed-point conversion. Electronic Notes in Theoretical Computer Science 266 (C) : 49-61. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2010.08.048|
|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. © 2010 Elsevier B.V.|
|Source Title:||Electronic Notes in Theoretical Computer Science|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 12, 2019
WEB OF SCIENCETM
checked on Jan 2, 2019
checked on Dec 29, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.