Project

General

Profile

Actions

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

« Previous | Revision 7/9 (diff) | Next »
Alexander Kamkin, 09/30/2011 11:51 AM


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

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

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

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

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

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

Updated by Alexander Kamkin almost 8 years ago · 7 revisions