Отладка и верификация функционально-потоковых параллельных программ

• Автор: Удалова, Юлия Васильевна
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2014
• Место защиты: Красноярск
• Количество страниц: 170 с. : ил.

ОГЛАВЛЕНИЕ
Введение

Глава 1. Инструментальные средства для отладки параллельных программ

1.1 Ошибки в параллельных программах

1.2 Классификация свойств отладчиков параллельных программ

1.2.1 Ориентация на параллельные примитивы

1.2.2 Способ обхода операторов параллельной программы

1.2.3 Распределение шага отладки

1.2.4 Типы контрольных точек

1.2.5 Возможности использования отладочных значений

1.2.6 Направление хода отладки
1.2.7 Возможности визуализации
1.3 Особенности отладки функционально-потоковых параллельных программ
1.4 Выводы
Глава 2. Методы верификации программ
2.1 Верификация функционально-потоковых параллельных программ
с помощью методов доказательства теорем
2.1.1 Пример верификации функционально-потоковой параллельной программы методом индуктивных утверждений
2.1.2 Пример верификации функционально-потоковой параллельной программы методом индукции
2.2 Верификация функционально-потоковых параллельных программ с помощью методов проверки моделей
2.3 Инструментальные среды для верификации программ
2.4 Методы для верификации функционально-потоковых параллельных программ

2.5 Выводы
Глава 3. Методы отладки функционально-потоковых параллельных программ
3.1 Режимы отладки функционально-потоковых параллельных программ
3.1.1 Режим пошаговой отладки
3.1.2 Режим отладки слоев
3.1.3 Режим отладки ветвей
3.1.4 Режим проверки формул
3.2 Инструментальная поддержка методов отладки
3.3 Пример отладки в послойном режиме
3.4 Примеры отладки в режиме проверки формул
3.5 Возможности инструментальной среды для отладки функционально-потоковых параллельных программ
3.6 Выводы
Глава 4. Верификация функционально-потоковых параллельных программ
4.1 Верификация функционально-потоковых параллельных программ
без их выполнения и спецификации
4.2 Проверка завершимости функционально-потоковой параллельной программы
4.3 Верификация функционально-потоковых параллельных программ
с асинхронными списками
4.3.1 Пример верификации функционально-потоковой параллельной программы с асинхронным списком
4.4 Инструментальная поддержка методов верификации со спецификацией пользователя
4.4.1 Пример верификации функционально-потоковой параллельной программы со спецификацией пользователя

4.4.2 Верификация функционально-потоковой параллельной
рекурсивной программы со спецификацией пользователя
4.4.3 Верификация функционально-потоковой параллельной
рекурсивной программы со спецификацией пользователя в режиме
«Проверка формул»
4.5 Выводы
Глава 5. Инструментальная поддержка отладки и верификации
функционально-потоковых параллельных программ
5.1 Структура среды разработки, отладки и верификации
5.1.1 Транслятор
5.1.2 Отладчик
5.1.3 Верификатор
5.1.4 Блок управления
5.2 Интегрированная среда разработки, отладки и верификации
функционально-потоковых параллельных программ
5.3 Выводы
Заключение
Список литературы
Приложение А. Примеры отладки функционально-потоковых
параллельных программ в инструментальной среде
Приложение Б. Примеры обработки констант спецификации
Приложение В. Копии свидетельств и справок о внедрении результатов диссертационной работы

Продолжение таблицы

Изменение значений переменных программы во время отладки + Варьирование рассматриваемых аспектов вычислений, но возможна потеря связи между отладкой и реальным выполнением
Опции отладки частично не законченных программ + Отладка не завершенной программы, но возможна потеря связи между отладкой и реальным выполнением
Возможности визуализации
граф программы + Повышение наглядности отладки, использование при добавлении контрольных точек и логических условий, графическое выделение ошибок
передача сообщений Не требуется за отсутствием механизмов передачи сообщений
Синхронизация +/- Подразумевается при визуализации графа
Ошибки + Разметка ошибочных вычислений повышает эффективность отладки
Списков + Повышение эффективности поиска ошибок в задачах, связанных с обработкой списков
статистические данные + Исследование технических аспектов вычислений позволит корректировать код программы с целью уменьшения ее времени выполнения