Project

General

Profile

Общая концепция инструмента » 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 к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы).