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

Tuan-Hung Pham | Zendy; Anh-Hoang Truong | Zendy; Wei-Ngan Chin | Zendy; Takenobu Aoshima | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Tuan-Hung Pham,

Anh-Hoang Truong,

Wei-Ngan Chin,

Takenobu Aoshima

Publication year - 2010

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2010.08.048

Subject(s) - closeness , test suite , porting , computer science , point (geometry) , suite , algorithm , code (set theory) , test (biology) , test case , theoretical computer science , mathematics , programming language , software , set (abstract data type) , paleontology , geometry , biology , mathematical analysis , regression analysis , archaeology , machine learning , history

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research