Институт системного программирования им. В.П. Иванникова РАН


Разработка тестовых наборов для математических библиотек

Начало проекта – 2010 год. Заказчик - РФФИ.

Тестовый набор предназначен для тестирования реализаций математических функций, использующих числа с плавающей точкой и имеющих интерфейс на языке С. Он включает в себя программу для запуска тестов и выполнения автоматического анализа результатов и наборы тестовых данных для различных функций (сейчас полностью поддерживается набор функций с аргументами типа double из стандарта POSIX). Отчет о выполнении тестов содержит суммарную статистику о выполненных тестах и найденных ошибках, а также может быть настроен на представление детальных данных об отдельных ошибках и сбор различной статистики с целью подробного анализа их возможных причин. Наборы тестовых данных строятся по общему принципу — в качестве тестовых значений выбираются данных трех типов: особые числа с плавающей точкой (0.0, 1.0, +infinity, максимальное представимое число и пр.). а также числа, чья мантисса построена по определенному шаблону (111111 или 101010); числа, являющиеся граничными и внутренними для основных областей однородного поведения тестируемой функции (интервалы монотонности, сохранения знака, с определенным асимптотическим поведением и пр.); числа, для которых корректное вычисление функции требует существенно большей точности, чем в среднем (точки, в которых возникает так называемая дилемма составителя таблиц).

Грант РФФИ 11-01-00425.

Исполнитель

Технологии программирования

Перейти к списку всех проектов