Project

General

Profile

Actions

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

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


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

Основные понятия

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

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

Updated by Alexander Kamkin over 12 years ago · 3 revisions