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

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

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

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

1. Разработка спецификации системы команд (Документация -> Спецификация)
2. Трансляция спецификации системы команд (Спецификация => Модель (Модель процессора, Модель покрытия))
3. Разработка/генерация шаблонов тестовых программ (Документация -> Шаблоны)
4. Трансляция шаблонов и генерация тестовых программ (Шаблоны => Генерирующие программы => Тестовые программы)

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