Project

General

Profile

Actions

API генератора

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

API генератора состоит из двух частей:

  • Выполнение инструкций (Simulator API).
  • Разрешение ограничений (Solver API).

Updated by Alexander Kamkin almost 8 years ago · 2 revisions