Project

General

Profile

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

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

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

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

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

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