Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций

А. Д. Татарников

?

Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций

С. 53–54.

Татарников А. Д.

В докладе рассказывается об инструменте, позволяющем автоматизировать разработку генераторов тестовых программ для микропроцессоров. В основе работы инструмента лежит использование высокоуровневых формальных спецификаций в качестве источника знания об архитектуре тестируемого микропроцессора. Такой подход помогает сократить трудоемкость разработки тестовых программ и повысить качество тестирования.

Язык: русский

Ключевые слова: формальные спецификации микропроцессоры функциональная верификация генерация тестовых программ

В книге

Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции

М.: МИЭМ НИУ ВШЭ, 2015.

Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK

Татарников А. Д., Камкин А. С., Проценко А. С. и др., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2–8

В работе рассматривается генератор тестовых программ, предназначенный для верификации микропроцессоров с архитектурой RISC-V. Генератор разработан на основе инструмента MicroTESK и состоит из формальных спецификаций архитектуры RISC-V и архитектурно независимого ядра. Спецификации задают синтаксис и семантику команд. Ядро реализует техники построения последовательностей команд и генерации данных. Генерация осуществляется на основе шаблонов, описывающих структурные и поведенческие свойства программ. Инструмент позволяет расширять ...

Добавлено: 30 октября 2018 г.

Расширяемая среда генерации тестовых программ для микропроцессоров

Татарников А. Д., Камкин А. С., Смолов С. А. и др., Программирование 2014 Т. 1 № 40 С. 3–14

Создание тестовых программ и анализ результатов их выполнения — основной подход к функциональной верификации микропроцессоров на системном уровне. Имеется множество методов автоматизации разработки тестовых программ, начиная от генерации случайного кода и заканчивая нацеленным построением тестов на основе моделей, однако панацеи не существует: на практике применяются комбинации различных техник, дополняющих друг друга. К сожалению, в настоящее ...

Добавлено: 5 февраля 2018 г.

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

Татарников А. Д., Известия высших учебных заведений. Физика 2016 Т. 59 № 8-2 С. 97–100

В работе предлагается метод автоматизированного построения поведенческих моделей микропроцессоров, используемых при генерации тестовых программ для предсказания результатов их выполнения. Предложенный метод основан на использовании формальных спецификаций системы команд. Данный метод реализован в инструменте MicroTESK, разработанном в ИСП РАН. Инструмент успешно применяется для верификации промышленных микропроцессоров. ...

Добавлено: 2 февраля 2018 г.

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

Татарников А. Д., Камкин А. С., Проценко А. С., Известия высших учебных заведений. Физика 2015 Т. 58 № 11-2 С. 70–74

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

Добавлено: 25 января 2018 г.

MicroTESK: Specification-Based Tool for Constructing Test Program Generators

Татарников А. Д., Камкин А. С., Чупилко М. М. и др., , in: Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer ScienceVol. 10629: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017.: Cham: Springer, 2017. P. 217–220.

Добавлено: 24 января 2018 г.

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

Татарников А. Д., Камкин А. С., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 387–393.

Добавлено: 23 января 2018 г.

An Approach to Instruction Stream Generation for Functional Verification of Microprocessor Designs

Татарников А. Д., , in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016).: Yerevan: IEEE, 2016. P. 270–273.

Добавлено: 22 декабря 2017 г.