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

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

Е.В. Корныхин.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 15, 2008, стр. 107-117.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Для цитирования

Е.В. Корныхин. Генерация тестовых данных для тестирования арифметических операций центральных процессоров. . Труды Института системного программирования РАН, том 15, 2008, стр. 107-117. .

Полный текст статьи в формате pdf Вернуться к содержанию тома