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


Стандартизация и тестирование реализаций математических функций, работающих с числами с плавающей точкой.

Авторы

В.В.Кулямин.

Аннотация

В статье рассматриваются проблемы выработки требований и создания тестов для реализаций математических функций, работающих с числами с плавающей точкой в форматах стандарта IEEE 754. Излагается основанный на обобщении идей этого стандарта метод определения требований для таких функций, который может быть использован для их стандартизации, расширяющей IEEE 754. Также представлен метод разработки тестов для проверки выполнения сформулированных требований. Описанные методы опираются на специфические свойства представления чисел с плавающей точкой и особенности поведения самих рассматриваемых функций.

Полный текст статьи в формате pdf

Издание

Программирование, Вып.33, №3, 2007, стр. 44-72.

Научная группа

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

Все публикации за 2007 год Все публикации