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

Основные понятия¶

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

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