Project

General

Profile

Actions

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

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


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

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

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

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

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

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

Updated by Alexander Kamkin over 7 years ago · 4 revisions