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

Authors:
Tuan-Hung Pham;Anh-Hoang Truong;Wei-Ngan Chin;Takenobu Aoshima
Affiliations:
Department of Software Engineering, College of Technology, Vietnam National University, Hanoi, 144 Xuan Thuy, Hanoi, Vietnam;Department of Software Engineering, College of Technology, Vietnam National University, Hanoi, 144 Xuan Thuy, Hanoi, Vietnam;Department of Computer Science, School of Computing, National University of Singapore, 3 Science Drive 2, Singapore 117543;Panasonic R&D Center Vietnam, No. 1 Lang-Hoa Lac, Hanoi, Vietnam
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 16
Cited 0

Automated Software Test Data Generation

IEEE Transactions on Software Engineering
Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
FRIDGE: a fixed-point design and simulation environment

Proceedings of the conference on Design, automation and test in Europe
An Introduction to Genetic Algorithms

An Introduction to Genetic Algorithms
Tabu Search

Tabu Search
Generating Software Test Data by Evolution

IEEE Transactions on Software Engineering
Fast, Accurate Static Analysis for Fixed-Point Finite-Precision Effects in DSP Designs

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Automated Floating-Point to Fixed-Point Conversion with the Fixify Environment

RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
Rounding error analysis of the classical Gram-Schmidt orthogonalization process

Numerische Mathematik
Discrete global descent method for discrete global optimization and nonlinear integer programming

Journal of Global Optimization
Fixed-point configurable hardware components

EURASIP Journal on Embedded Systems
Floating-to-fixed-point conversion for digital signal processors

EURASIP Journal on Applied Signal Processing
Accuracy constraint determination in fixed-point system design

EURASIP Journal on Embedded Systems - Reconfigurable Computing and Hardware/Software Codesign
Combinatorial Optimization: Theory and Algorithms

Combinatorial Optimization: Theory and Algorithms
Static analysis of numerical algorithms

SAS'06 Proceedings of the 13th international conference on Static Analysis
Under-approximations of computations in real numbers based on generalized affine arithmetic

SAS'07 Proceedings of the 14th international conference on Static Analysis

Quantified Score

Hi-index	0.00

Visualization

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.