Project

General

Profile

Actions

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

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


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

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

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

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

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

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

Updated by Alexander Kamkin over 12 years ago · 5 revisions