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