Project

General

Profile

Actions

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

« Previous | Revision 8/9 (diff) | Next »
Alexander Kamkin, 09/30/2011 02:00 PM


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

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

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

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

  1. Разработка спецификации системы команд (Документация -> Спецификация)
  2. Трансляция спецификации системы команд (Спецификация => Модель (Модель процессора, Модель покрытия))
  3. Разработка/генерация шаблонов тестовых программ (Документация -> Шаблоны)
  4. Трансляция шаблонов и генерация тестовых программ (Шаблоны => Генерирующие программы => Тестовые программы)

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

Updated by Alexander Kamkin over 7 years ago · 8 revisions