Анализ зависимостей по данным: тесты на зависимость и стратегии тестирования

ВВЕДЕНИЕ
1. АНАЛИЗ ЗАВИСИМОСТЕЙ ТЕСТЫ НА ЗАВИСИМОСТЬ ПО ДАННЫМ
1.1. Основные понятия и определения
1.1.1. Модель программы.
1.1.2. Определение зависимостей по данным.
1.1.3. Граф зависимостей по данным
1.1.4. Анализ зависимостей по данным
1.2. Основные методы.
1.2.1. НОДтест.
1.2.2. Тест Банержи.
1.2.3. Метод исключения переменных ФурьеМоцкина
1.3. Расширенные методы
1.3.1 Приближенные тесты
Обобщенный НОДтест
Хтест.
1тест Интервальный тест.
1.3.2. Точные тесты.
тест.
Омегатест.
Iтест
1.4. Другие тесты на зависимость по данным.
1.5. Анализ зависимостей по данным для многомерных массивов
1.5.1. Постановка проблемы
1.5.2. Модифицированный Хтест
1.5.3. Алгоритм.
1.5.4. Сравнение результатов
1.5.5. Временная сложность.
Выводы по главе 1
2. АНАЛИЗ ЗАВИСИМОСТЕЙ ПО ДАННЫМ СТРАТЕГИИ
ТЕСТИРОВАНИЯ.
2.1. Существующие алгоритмы анализа зависимостей но данным
2.1.1. Дельтатест
I Vтест
Vтест.
IVтест.
2.1.2. Эпсилонтест.
ЭпсилонОмега тест.
2.1.3. Алгоритм Майдана.
Vтест i vi i.
iтсст.
тест i
2.1.4. Ктест.
Организация интеллектуального подхода
2.2. Новая стратегия применений тестов на зависимость.
2.2.1. Библиотека тестов на зависимость по данным.
Одномерные тесты.
Многомерные тесты
2.2.2 Основные результаты существующих исследований.
2.2.3. Случаи, повышающие точность тестов на зависимость
2.2.4. Алгоритм стратегии.
2.2.5. Временная сложность
Выводы по главе 2.
3. ЭКСПЕРИМЕНТАЛЬНОЕ ИССЛЕДОВАНИЕ.
3.1. Программный комплекс для анализа зависимостей по данным.
3.1.1. Реализация библиотеки тестов на зависимость и алгоритма
новой стратегии
3.1.2. Система I.
3.1.3. Прототип распараллеливающего компилятора на основе новой стратегии тестирования на зависимость и библиотек системы I
3.2. Экспериментальное сравнение результатов.
3.2.1. Системная среда
3.2.2. Сравнение результатов
3.2.3. Сравнение результатов на экспериментальных примерах
3.2.4. Время выполнения.
3.2.5. Статистические данные Новой стратегии
3.3. Индексный анализ зависимостей по данным в i программах
3.3.1. Язык функционального программирования I
3.3.2. Промежуточное представление I1
3.3.3. Построение алгоритма индексного анализа зависимостей по
Поиск гнезд циклов, для которых возможен индексный анализ. Поиск индексных переменных и подготовка данных гнезда
Подготовка данных для анализа существования зависимости
двух операций обращения к массиву в цикле.
Особенности используемого алгоритма анализа зависимостей Интерпретация и использование результатов анализа в целях
оптимизации
Выводы по главе 3
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА