Общая концепция инструмента » History » Revision 2
Revision 1 (Alexander Kamkin, 09/30/2011 11:34 AM) → Revision 2/9 (Alexander Kamkin, 09/30/2011 11:36 AM)
h1. Общая концепция инструмента # Спецификация системы команд # Модель системы команд # База данных ограничений # Солверы ограничений # Шаблоны тестовых программ После обработки шаблона тестовой программы получается программа на языке программирования (Ruby, Java), программирования, которая генерирует тестовую программу, обращаясь через API к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы).