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