Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.entcs.2010.08.048
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
Source: 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
URI: http://scholarbank.nus.edu.sg/handle/10635/41003
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.

SCOPUSTM   
Citations

2
checked on Dec 13, 2017

Page view(s)

43
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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