Project

General

Profile

API генератора

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

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

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