University of Minnesota
Software Engineering Center
/

You are here

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

Date of Publication: 
October 2010
Associated Research Groups: 
Publication Files: 
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.
Venue: 
3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS)
bibtex: 
@article{Pham201049, title = "Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion", journal = "Electronic Notes in Theoretical Computer Science", volume = "266", number = "", pages = "49 - 61", year = "2010", note = "Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS)", issn = "1571-0661", doi = "DOI: 10.1016/j.entcs.2010.08.048", url = "http://www.sciencedirect.com/science/article/B75H1-513GV2J-5/2/186c40ec5535d4ebebe958b41405354c", author = "Tuan-Hung Pham and Anh-Hoang Truong and Wei-Ngan Chin and Takenobu Aoshima", keywords = "Quality assurance", keywords = "Test cases generation", keywords = "Fixed-point conversion" }