Метод построения тестового оракула для подсистемы памяти многоядерного микропроцессора на основе недетерменированной функциональной модели
14 сентября 2018
212
| Предметная область | — |
| Выходные данные | — |
| Ключевые слова | — |
| Вид публикации | Статья |
| Контактные данные автора публикации | А.С.Камкин, М.В.Петраченков |
| Ссылка на публикацию в интернете | mcst.ru/files/556f65/870cd8/507e0b/000001/a.s._kamkin_m.v._petrochenkov_metod_postroeniya_testovogo_orakula_dlya_podsistemy_pamyati_mnogoyadernogo_mikroprotsessora_na_osnove_nedeterminirovannoy_funktsionalnoy_modeli.pdf |
Аннотация
Описывается метод построения тестовых оракулов для
подсистем памяти многоядерных микропроцессоров на основе
недетерминированных эталонных моделей. Центральной частью
метода является динамическое уточнение вариантов поведения
модели на базе реакций, полученных от тестируемой системы.
Рассматривается опыт применения предложенного подхода к
верификации кэшпамяти L3 микропроцессора «Эльбрус8С».
Подробнееподсистем памяти многоядерных микропроцессоров на основе
недетерминированных эталонных моделей. Центральной частью
метода является динамическое уточнение вариантов поведения
модели на базе реакций, полученных от тестируемой системы.
Рассматривается опыт применения предложенного подхода к
верификации кэшпамяти L3 микропроцессора «Эльбрус8С».
Для того чтобы оставить комментарий необходимо авторизоваться.