Project

General

Profile

Actions

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

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


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

  1. Спецификация системы команд
  2. Модель системы команд
  3. База данных ограничений
  4. Солверы ограничений
  5. Шаблоны тестовых программ

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

Updated by Alexander Kamkin over 12 years ago · 2 revisions