ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Программа предназначена для автоматизации разработки генераторов тестовых программ для микропроцессоров. В качестве входных данных программа принимает файлы формальных спецификаций микропроцессорных архитектур на языках nML и mmuSL. На их основе программа конструирует генераторы тестовых программ для описанных спецификациями архитектур. Полученные генераторы строят тестовые программы на языке ассемблера на основе шаблонов на языке Ruby, описывающих их структурные и поведенческие свойства.