Project

General

Profile

Общая концепция инструмента » History » Revision 4

Revision 3 (Alexander Kamkin, 09/30/2011 11:42 AM) → Revision 4/9 (Alexander Kamkin, 09/30/2011 11:49 AM)

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

 h2. Основные компоненты понятия 

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

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

 # Разработка спецификации системы команд (Документация --> Спецификация) 
 # Трансляция спецификации системы команд (Спецификация ==> Модель) 

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