М.: Институт системного программирования РАН, 2007. – 32 с.
В работе рассматриваются проблемы выработки требований и создания
тестов для реализаций математических функций, работающих с числами
с плавающей точкой в форматах стандарта IEEE
Излагается основанный на обобщении идей этого стандарта метод определения требований для таких функций, который может быть использован для их стандартизации, расширяющей IEEE
Также представлен метод разработки тестов для проверки выполнения сформулированных требований. Описанные методы опираются на специфические свойства представления чисел с плавающей точкой и особенности поведения самих рассматриваемых функций. Проблемы вычисления математических функций.
Числа с плавающей точкой.
Трудности выполнения корректных вычислений.
ребования стандартов к реализациям математических функций.
Дилемма составителя таблиц.
Обзор работ по тестированию реализаций математических функций.
Предлагаемый подход.
Метод определения требований к математическим функциям.
Метод построения тестов на соответствие требованиям.
Пример практического применения предложенных методов.
Излагается основанный на обобщении идей этого стандарта метод определения требований для таких функций, который может быть использован для их стандартизации, расширяющей IEEE
Также представлен метод разработки тестов для проверки выполнения сформулированных требований. Описанные методы опираются на специфические свойства представления чисел с плавающей точкой и особенности поведения самих рассматриваемых функций. Проблемы вычисления математических функций.
Числа с плавающей точкой.
Трудности выполнения корректных вычислений.
ребования стандартов к реализациям математических функций.
Дилемма составителя таблиц.
Обзор работ по тестированию реализаций математических функций.
Предлагаемый подход.
Метод определения требований к математическим функциям.
Метод построения тестов на соответствие требованиям.
Пример практического применения предложенных методов.