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