Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов.
Новости
19 Сентября, 2024
Открыт приём заявок на премию «За верность науке»
16 Сентября, 2024
Защита диссертаций
19 Августа, 2024
6-8 сентября состоятся выборы в Московскую городскую Думу
Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов.
Аннотация
В статье рассматривается задача генерации тестовых данных при генерации тестовых программ для системного функционального тестирования микропроцессоров (core-level verification), по абстрактной форме тестовой программы (тестовому шаблону). Для решения этой задачи в работе предложен алгоритм, сводящий ее к задаче разрешения ограничений. При этом учитываются такие особенности микропроцессора, как кэширование и трансляция адресов.
Издание
Труды Института системного программирования РАН, том 17, 2009, стр. 145-160.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).