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

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

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

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

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

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