Введение
ГЛАВА 1. Семантические ошибки в параллельных программах и подходы к их обнаружению 17
1.1 Семантические ошибки в параллельных программах 17
1.2 Опрос пользователей 28
1.3 Методы и программные средства обнаружения семантических ошибок 31
1.3.1 Диалоговая отладка 31
1.3.2 Верификация модели программы 34
1.3.3 Сравнительная отладка 37
1.3.4 Автоматизированный анализ корректности 38
1.3.5 Анализ по трассе 40
1.3.6 Анализ во время исполнения 43
ГЛАВА 2. Шаблоны ошибочного поведения 52
2.1 Система описания шаблонов ошибочного поведения. 52
2.2 Примеры шаблонов 58
2.2.1 Шаблоны для локальных ошибок 61
2.2.2 Шаблоны для глобальных ошибок 66
ГЛАВА 3. Модель и алгоритмы обнаружения семантических ошибок системой автоматизированного контроля корректности 74
3.1 Требования к системе автоматизированного контроля корректности. Анализ требований 74
3.2 Моделирование поведения системы автоматизированного контроля корректности 77
3.3 Архитектура и основные структуры данных 81
3.3.1 Конфигурационный файл 81
3.3.2 Утилита запуска 85
3.3.3 Препроцессор 88
3.3.4 MPI-процессы 91
3.3.5 Сервер-анализатор 93
3.4 Процесс выявления соответствия поведения MPI-программы шаблонам ошибочного поведения 105
ГЛАВА 4. Тестирование системы автоматизированного контроля корректности. примеры анализа программ 115
4.1 Тестовая база 115
4.2 Используемые тесты 116
4.3 Анализ проведенных тестов 146
4.4 Отладка прикладных MPI-программ 148
Заключение 153
Список литературы
