Стандарт
  • формат pdf
  • размер 384,43 КБ
  • добавлен 29 октября 2012 г.
Камкин А.C., Чупилко М.M. Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
М.: Институт системного программирования РАН, 2008. – 15 с.
В работе рассматривается методика функционального тестирования модулей арифметики с плавающей точкой микропроцессоров (FPUs, Floating Point Units) на соответствие стандарту IEEE
754. Методика основана на технологии тестирования UniTESK, но дополнена методами генерации тестов для операций над числами с плавающей точкой. Большое внимание в статье уделяется операциям деления и извлечения квадратного корня. Важной частью работы является описание опыта применения предлагаемой методики.
Похожие разделы
  1. Академическая и специальная литература
  2. Геологические науки и горное дело
  3. Экономика полезных ископаемых
  4. Сметное дело в ГГО
  5. Единые нормы выработки, времени, единичные расценки (ЕНВ, НВ, ЕНиР)
  1. Академическая и специальная литература
  2. Метрология, стандартизация и сертификация
  1. Академическая и специальная литература
  2. Метрология, стандартизация и сертификация
  3. Нормативные документы (НД)
  1. Академическая и специальная литература
  2. Нефтегазовая промышленность
  3. Нормативные документы по трубопроводам
  1. Академическая и специальная литература
  2. Промышленное и гражданское строительство
  3. Еврокод
  1. Академическая и специальная литература
  2. Промышленное и гражданское строительство
  3. Методические документы в строительстве
  1. Академическая и специальная литература
  2. Промышленное и гражданское строительство
  3. Строительные нормы и правила (СП, СНиП)
  1. Академическая и специальная литература
  2. Промышленное и гражданское строительство
  3. Экономика строительства
  4. Сметное дело в строительстве
  5. Сметные нормативные документы
  1. Академическая и специальная литература
  2. Топливно-энергетический комплекс
  3. Нормативно-техническая документация (НТД)