|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
MicroTESK: Инструмент автоматизации конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций их архитектурысвидетельство о регистрации прав на ПО, базу данных
- Авторы: Камкин А.С., Татарников А.Д., Коцыняк А.М.
- Номер: 2017663551
- Дата получения: 7 декабря 2017 г.
- Тип ПО: SOFT
-
Описание:
Программа предназначена для автоматизации разработки генераторов тестовых программ для микропроцессоров. В качестве входных данных программа принимает файлы формальных спецификаций микропроцессорных архитектур на языках nML и mmuSL. На их основе программа конструирует генераторы тестовых программ для описанных спецификациями архитектур. Полученные генераторы строят тестовые программы на языке ассемблера на основе шаблонов на языке Ruby, описывающих их структурные и поведенческие свойства.
- Добавил в систему: Камкин Александр Сергеевич