Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754

В работе рассматривается методика функционального тестирования модулей арифметики с плавающей точкой микропроцессоров (FPUs, Floating Point Units) на соответствие стандарту IEEE 754. Методика основана на технологии тестирования UniTESK, но дополнена методами генерации тестов для операций над числами...

Full description

Bibliographic Details
Main Authors:	А.C. Камкин, М.M. Чупилко
Format:	Article
Language:	English
Published:	Ivannikov Institute for System Programming of the Russian Academy of Sciences 2008-01-01
Series:	Труды Института системного программирования РАН
Online Access:	https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_7/

id	doaj-6b4de1a982984c67957ca50b30d74d3a
record_format	Article
spelling	doaj-6b4de1a982984c67957ca50b30d74d3a2020-11-25T02:36:53Zeng Ivannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262008-01-01142722Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754А.C. Камкин М.M. ЧупилкоВ работе рассматривается методика функционального тестирования модулей арифметики с плавающей точкой микропроцессоров (FPUs, Floating Point Units) на соответствие стандарту IEEE 754. Методика основана на технологии тестирования UniTESK, но дополнена методами генерации тестов для операций над числами с плавающей точкой. Большое внимание в статье уделяется операциям деления и извлечения квадратного корня. Важной частью работы является описание опыта применения предлагаемой методики.https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_7/
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	А.C. Камкин М.M. Чупилко
spellingShingle	А.C. Камкин М.M. Чупилко Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754 Труды Института системного программирования РАН
author_facet	А.C. Камкин М.M. Чупилко
author_sort	А.C. Камкин
title	Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
title_short	Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
title_full	Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
title_fullStr	Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
title_full_unstemmed	Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
title_sort	тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту ieee 754
publisher	Ivannikov Institute for System Programming of the Russian Academy of Sciences
series	Труды Института системного программирования РАН
issn	2079-8156 2220-6426
publishDate	2008-01-01
description	В работе рассматривается методика функционального тестирования модулей арифметики с плавающей точкой микропроцессоров (FPUs, Floating Point Units) на соответствие стандарту IEEE 754. Методика основана на технологии тестирования UniTESK, но дополнена методами генерации тестов для операций над числами с плавающей точкой. Большое внимание в статье уделяется операциям деления и извлечения квадратного корня. Важной частью работы является описание опыта применения предлагаемой методики.
url	https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_7/
work_keys_str_mv	AT ackamkin testirovaniemodulejarifmetikisplavaûŝejtočkojmikroprocessorovnasootvetstviestandartuieee754 AT mmčupilko testirovaniemodulejarifmetikisplavaûŝejtočkojmikroprocessorovnasootvetstviestandartuieee754
_version_	1724798171889008640

Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754

Similar Items