В рамках работ по созданию пакета тестов OLVER для тестирования соответствия стандарту Linux Standard Base были проведены исследования по тестированию реализаций математических функций. Разработан общий подход к построению тестов для библиотек математических функций на базе чисел с плавающей точкой, основанный на четком определении требований к результатам таких функций. Проведено тестирование реализаций ряда функций на различных платформах. С некоторыми из полученных результатов можно ознакомится по статье "Формальные подходы к тестированию математических функций".