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

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

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

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

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

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