Please use this identifier to cite or link to this item:
Title: Test case generation for adequacy of floating-point to fixed-point conversion
Authors: Pham, T.-H.
Truong, A.-H.
Chin, W.-N. 
Aoshima, T.
Keywords: Fixed-point conversion
Quality assurance
Test cases generation
Issue Date: 2010
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.
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
ISSN: 15710661
DOI: 10.1016/j.entcs.2010.08.048
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.


checked on May 24, 2019


checked on May 8, 2019

Page view(s)

checked on May 24, 2019

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.