Генерация тестовых данных для тестирования арифметических операций центральных процессоров

Генерация тестовых данных для тестирования арифметических операций центральных процессоров

Рассматривается задача генерации тестовых данных для тестирования арифметической подсистемы центральных процессоров. Для ее решения предлагается использовать метод, позволяющий строить тестовые данные систематически на основе формального описания поведения отдельных команд микропроцессора. Предложен...

Full description

Bibliographic Details
Main Author:	Е.В. Корныхин
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_15_2008/isp_15_2008_107/

Similar Items

Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов
by: Е. В. Корныхин
Published: (2009-01-01)

Направленная генерация тестовых данных для анализаторов статической семантики
by: М.В. Архипова, et al.
Published: (2009-01-01)

Автоматическая генерация тестовых данных для оптимизаторов графических моделей.
by: С.В. Зеленов, et al.
Published: (2006-01-01)

Генерация тестовых программ для микропроцессоров.
by: А.С. Камкин
Published: (2008-01-01)

Генерация тестовых данных сложной структуры с учетом контекстных ограничений.
by: А.В. Демаков, et al.
Published: (2006-01-01)

Генерация тестовых программ для подсистемы управления памятью микропроцессора
by: Д.Н. Воробьев, et al.
Published: (2009-01-01)

Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа.
by: С.В. Зеленов, et al.
Published: (2004-01-01)

Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя
by: А. В. Баранцев, et al.
Published: (2009-01-01)

ОПЕРАЦИИ УПОРЯДОЧИВАНИЯ В АЛГЕБРАИЧЕСКОЙ СИСТЕМЕ АГРЕГАТОВ ДЛЯ ОБРАБОТКИ ДАННЫХ МУЛЬТИОБРАЗА
by: Ivan A. Dychka, et al.
Published: (2019-02-01)

Генерация тестов для модулей проверки статической семантики в компиляторах.
by: М.В. Архипова
Published: (2004-01-01)

Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов
by: И. Э. Райчев, et al.
Published: (2001-06-01)

Расширение описаний сигнатур операций для автоматической генерации тестов.
by: Р.С. Зыбин, et al.
Published: (2008-01-01)

Организация сложных тестовых наборов
by: В. В. Кулямин
Published: (2009-01-01)

Применение формальных методов для тестирования реализации IPv6.
by: Г.В. Ключников, et al.
Published: (2004-01-01)

Паттерны проектирования тестовых сценариев.
by: В.С. Мутилин
Published: (2006-01-01)

ОПРЕДЕЛЕНИЕ ТЕСТОВЫХ НАБОРОВ ДЛЯ ОБНАРУЖЕНИЯ НЕИСПРАВНОСТЕЙ АДРЕСНЫХ ЛИНИЙ ОЗУ
Published: (2018-10-01)

МЕТОДИКА ТЕСТИРОВАНИЯ МЕЖСЕТЕВЫХ ЭКРАНОВ
by: Е. А. Васильева, et al.
Published: (2008-03-01)

Интегрированная среда описания системы команд встраиваемых процессоров.
by: В.В. Рубанов, et al.
Published: (2006-01-01)

Комбинаторика слов и построение тестовых последовательностей.
by: В.В. Кулямин
Published: (2004-01-01)

Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид
by: Н.В. Пакулин, et al.
Published: (2009-01-01)

Автоматическое определение выполнимости наборов формул для операций сравнения.
by: С.В. Зеленов, et al.
Published: (2008-01-01)

АВТОМАТИЗИРОВАННАЯ УСТАНОВКА ДЛЯ ПРОВЕДЕНИЯ ТЕСТИРОВАНИЯ ПАМЯТИ У ДЕТЕЙ
by: М. Г. Бакурін, et al.
Published: (2018-03-01)

Создание комплекса для психодиагностического тестирования учащихся : магистерская диссертация
by: Беляева, А. О., et al.
Published: (2018)

Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий.
by: А.Я. Калинов, et al.
Published: (2004-01-01)

Использование языков описания процессоров высокого уровня для генерации платформо-зависимых частей операционной системы.
by: Ю. Фонин
Published: (2006-01-01)

Опыт применения технологии Azov для тестирования библиотеки Qt3.
by: Р.С. Зыбин
Published: (2008-01-01)

Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.
by: Д.В. Зацепин, et al.
Published: (2007-01-01)

ПОСТРОЕНИЕ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ДЛЯ ТЕСТИРОВАНИЯ D-ТРИГГЕРОВ СИНХРОННЫХ ПОСЛЕДОВАТЕЛЬНОСТНЫХ СХЕМ
Published: (2018-11-01)

Вхождение экологической стратегии в число центральных задач Европейского Союза
by: В. I. Лозо
Published: (2016-03-01)

Трансформация роли и функций центральных банков в посткризисный период.
by: С.В. Науменкова (Naumenkova, S.V.), et al.
Published: (2015-06-01)

Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения.
by: А.С. Камкин
Published: (2007-01-01)

АНАЛИЗ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ РАСПРЕДЕЛЕНИЯ УСИЛИЙ ТЕСТИРОВАНИЯ ДЛЯ ОЦЕНИВАНИЯ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ С УЧЕТОМ НЕСОВЕРШЕННОЙ ОТЛАДКИ
by: В. С. Яковина, et al.
Published: (2019-09-01)

Применение интеллектуального анализа данных для повышения эффективности производства промышленного предприятия : магистерская диссертация
by: Колосовникова, Е. Ф., et al.
Published: (2019)

Предикторы летальности у взрослых пациентов при операции Росса: обзор литературы и результаты 760 операций
by: А. М. Караськов, et al.
Published: (2017-04-01)

Референсная архитектура систем для анализа биомедицинских данных
by: Ivan Andriiovych Sahumbaiev, et al.
Published: (2017-11-01)

Контекстная грамматика для описания потоков данных задач
by: А. Барткус, et al.
Published: (1977-12-01)

ОСОБЕННОСТИ РУБРИКАЦИИ ИНФОРМАЦИИ В ПРОФЕССИОНАЛЬНО-ОРИЕНТИРОВАННЫХ ТЕКСТАХ ДЛЯ ОБУЧЕНИЯ ДИЗАЙНУ
by: Демидова, Е.В.
Published: (2021-09-01)

ФОРМИРОВАНИЕ АДРЕСНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ С МАКСИМАЛЬНЫМ СРЕДНИМ ХЭММИНГОВЫМ РАССТОЯНИЕМ ДЛЯ МНОГОКРАТНОГО ТЕСТИРОВАНИЯ ОЗУ
Published: (2018-12-01)

Разработка методики тестирования программного обеспечения : магистерская диссертация
by: Ivanov, E. S., et al.
Published: (2014)

Место тестирования среди методов оценки качества ПО.
by: В. В. Кулямин, et al.
Published: (2004-02-01)