This site contains a set of test vectors for floating-point, conforming to the IEEE 754R standard draft. The site will be updated periodically as new test vectors are created and as the standard becomes more stable.
The philosophy guiding the construction of this test suite is to first define a high-level test plan, and then generate a suite of test vectors that cover the test plan. The test plan consists of a set of coverage models, each of which targets a certain floating-point area or feature. The test vectors are organized in test files that correspond to the coverage models. The test vectors are generated by means of a test generator named FPgen. For the syntax of the test files, see syntax of the test files. For a full understanding of the approach and the contents of the test files, refer to the test suite document.
Test Suite Mailing List
Help us help you, join our mailing list and get updated.