Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 15 (in Russian), 2008, Стр. 107-117.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume