Общая концепция инструмента » History » Version 6
Alexander Kamkin, 09/30/2011 11:49 AM
| 1 | 1 | Alexander Kamkin | h1. Общая концепция инструмента |
|---|---|---|---|
| 2 | |||
| 3 | 4 | Alexander Kamkin | h2. Основные компоненты |
| 4 | 3 | Alexander Kamkin | |
| 5 | 1 | Alexander Kamkin | # Спецификация системы команд на ADL-языке |
| 6 | 4 | Alexander Kamkin | # Трансляторы с спецификаций систем команд на ADL-языках |
| 7 | # Модель |
||
| 8 | 5 | Alexander Kamkin | * Модель системы команд |
| 9 | * Модель тестового покрытия (база данных ограничений) |
||
| 10 | 6 | Alexander Kamkin | |
| 11 | 1 | Alexander Kamkin | # Мэпперы ограничений в формат солверов |
| 12 | # Солверы ограничений |
||
| 13 | # Шаблоны тестовых программ |
||
| 14 | 4 | Alexander Kamkin | # Транслятор шаблонов тестовых программ в генерирующие программы |
| 15 | # Генерирующие программы |
||
| 16 | |||
| 17 | h2. Основной вариант использования |
||
| 18 | |||
| 19 | # Разработка спецификации системы команд (Документация --> Спецификация) |
||
| 20 | # Трансляция спецификации системы команд (Спецификация ==> Модель) |
||
| 21 | 1 | Alexander Kamkin | |
| 22 | 2 | Alexander Kamkin | После обработки шаблона тестовой программы получается программа на языке программирования (Ruby, Java), которая генерирует тестовую программу, обращаясь через API к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы). |