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

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

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

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

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

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