Генерация наборов тестов для распараллеливающих и оптимизирующих преобразований в компиляторе

Оглавление
ВВЕДЕНИИ.
ГЛАВА 1. МЕТОДИКА РАЗРАБОТКИ ТЕСТОВЫХ НАБОРОВ ДЛЯ ОПТИМИЗИРУЮЩИХ И РАСПАРАЛЛЕЛИВАЮЩИХ ПРЕОБРАЗОВАНИЙ ПРОГРАММ В КОМПИЛЯТОРЕ
1.1. Необходимые сведения из теории преобразования программ.
1.2. Условия применимости оптимизирующих и распараллеливающих преобразований программ
1.3. Формализация условий применимости преобразования с целью построения конфигурации для генератора тестов
1.4. Язык описания конфигурации.
1.5. Критерий полноты тестового набора
1.6. Запись конфигурационного файла.
1.7. Класс программ, задаваемый конфигурацией.
1.8. Организация тестирования преобразований в оптимизирующем компиляторе
1.9. Выводы к первой главе
ГЛАВА 2. ГЕНЕРАТОР ТЕСТОВ ПРЕОБРАЗОВАНИЙ В КОМПИЛЯТОРЕ
2.1. Входная КСграмматика и принцип генерации цепочек
2.2. Древовидное представление КСграмматики
2.3. Графовое представление грамматики и автоматический вывод цепочек
2.4. Хранение данных об информационных зависимостях.
2.5. Моделирование информационных зависимостей в генераторе тестов .
2.6. Режимы генерации тестовых наборов
2.6.1. Режим нормального распределения
2.6.2. Режим универсального распределения.
2.6.3. Режим перебора.
2.7. Выводы ко второй главе.
ГЛАВА 3. ПРИМЕНЕНИЕ ГЕНЕРАТОРА ТЕСТОВ.
3.1. Набор тестов для синтаксического анализатора конвертера С2ЬШЬ
3.2. Набор тестов для преобразования Разрезание циклов
3.3. Выводы к третьей главе.
ГЛАВА 4. СМЕЖНЫЕ ЗАДАЧИ.
4.1. Автоматизация тестирования графического интерфейса.
4.1.1. Дерево состояний графического интерфейса.
4.1.2. Тестирование графического интерфейса НРСИАБ
4.1.3. Генерация тестов для мастера Экспертной системы.
4.2. Автоматизация тестирования уеЬприложений
4.2.1. УеЬинтерфейс автоматического распараллеливателя.
4.2.2. Тестовые сценарии для еЬинтерфейса автоматического
распараллеливателя.
4.3. Система поддержки пользователя при редактировании скриптов на языке ЕаБуИои.
4.3.1. Особенности предметноориентированных языков
программирования.
4.3.2. Основные функции системы поддержки пользователя.
4.4. Выводы к четвертой главе
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ