Общая концепция инструмента » History » Revision 8
Revision 7 (Alexander Kamkin, 09/30/2011 11:51 AM) → Revision 8/9 (Alexander Kamkin, 09/30/2011 02:00 PM)
h1. Общая концепция инструмента h2. Основные компоненты # Спецификация системы команд на ADL-языке # Трансляторы с спецификаций систем команд на ADL-языках # Модель системы команд # Модель тестового покрытия (база данных ограничений) # Мэпперы ограничений в формат солверов # Солверы ограничений # Шаблоны тестовых программ # Транслятор шаблонов тестовых программ в генерирующие программы # Генерирующие программы h2. Основной вариант использования # Разработка спецификации системы команд (Документация -> --> Спецификация) # Трансляция спецификации системы команд (Спецификация => Модель (Модель процессора, Модель покрытия)) # Разработка/генерация шаблонов тестовых программ (Документация -> Шаблоны) # Трансляция шаблонов и генерация тестовых программ (Шаблоны => Генерирующие программы => Тестовые программы) ==> Модель) После обработки шаблона тестовой программы получается программа на языке программирования (Ruby, Java), которая генерирует тестовую программу, обращаясь через API к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы).