Paper Info
Title
Standardization and testing of implementations of mathematical functions in floating point numbers
Abstract
Requirements definition and test suites development for implementations of mathematical functions in floating point arithmetic in the framework of the IEEE 754 standard are considered. A method based on this standard is proposed for defining requirements for such functions. This method can be used for the standardization of implementations of such functions; this kind of standardization extends IEEE 754. A method for designing test suites for the verification of those requirements is presented. The proposed methods are based on specific properties of the representation of floating point numbers and on some features of the functions under examination.
Year
DOI
Venue
2007
10.1134/S036176880703005X
Programming and Computer Software
Keywords
Field
DocType
specific property,defining requirement,floating point arithmetic,floating point number,test suite,requirements definition,test suites development,mathematical function,floating point
Single-precision floating-point format,Test suite,Computer science,Floating point,Double-precision floating-point format,Arithmetic,Requirements analysis,Theoretical computer science,Minifloat,Standardization,IEEE floating point
Journal
Volume
Issue
ISSN
33
3
1608-3261
Citations 
PageRank 
References 
3
0.41
13
Authors
1
Name
Order
Citations
PageRank
V. V. Kuliamin1676.27