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