|
In the OLVER project on conformance test construction for Linux Standard Base additional research on test selection methods for implementations of mathematical functions was conducted. The general approach to testing of mathematical libraries working with floating point numbers was developed. The approach is based on definition of precise requirements to the functions under test. Testing of implementations of several functions on different platforms was performed. Some of the results obtained are described in the article "Formal Approach to Mathematical Functions Testing" (in Russian).
|
|
