Общая концепция инструмента¶

Основные компоненты¶

1. Спецификация системы команд на ADL-языке
2. Трансляторы с спецификаций систем команд на ADL-языках
3. Модель
• Модель системы команд
• Модель тестового покрытия (база данных ограничений)
1. Мэпперы ограничений в формат солверов
2. Солверы ограничений
3. Шаблоны тестовых программ
4. Транслятор шаблонов тестовых программ в генерирующие программы
5. Генерирующие программы

Основной вариант использования¶

1. Разработка спецификации системы команд (Документация --> Спецификация)
2. Трансляция спецификации системы команд (Спецификация ==> Модель)

После обработки шаблона тестовой программы получается программа на языке программирования (Ruby, Java), которая генерирует тестовую программу, обращаясь через API к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы).