Введение
Глава 1. Инструментальные средства для отладки параллельных программ 16
1.1 Ошибки в параллельных программах 16
1.2 Классификация свойств отладчиков параллельных программ 18
1.2.1 Ориентация на параллельные примитивы 20
1.2.2 Способ обхода операторов параллельной программы 21
1.2.3 Распределение шага отладки 22
1.2.4 Типы контрольных точек 23
1.2.5 Возможности использования отладочных значений 24
1.2.6 Направление хода отладки 25
1.2.7 Возможности визуализации 25
1.3 Особенности отладки функционально-потоковых параллельных программ 27
1.4 Выводы 36
Глава 2. Методы верификации программ 37
2.1 Верификация функционально-потоковых параллельных программ
с помощью методов доказательства теорем 37
2.1.1 Пример верификации функционально-потоковой параллельной программы методом индуктивных утверждений 42
2.1.2 Пример верификации функционально-потоковой параллельной программы методом индукции 44
2.2 Верификация функционально-потоковых параллельных программ с помощью методов проверки моделей 52
2.3 Инструментальные среды для верификации программ 55
2.4 Методы для верификации функционально-потоковых параллельных программ
2.5 Выводы 59
Глава 3. Методы отладки функционально-потоковых параллельных программ 61
3.1 Режимы отладки функционально-потоковых параллельных программ 61
3.1.1 Режим пошаговой отладки 62
3.1.2 Режим отладки слоев 62
3.1.3 Режим отладки ветвей 64
3.1.4 Режим проверки формул 65
3.2 Инструментальная поддержка методов отладки 66
3.3 Пример отладки в послойном режиме 70
3.4 Примеры отладки в режиме проверки формул 73
3.5 Возможности инструментальной среды для отладки функционально-потоковых параллельных программ 76
3.6 Выводы 80
Глава 4. Верификация функционально-потоковых параллельных программ 81
4.1 Верификация функционально-потоковых параллельных программ без их выполнения и спецификации 81
4.2 Проверка завершимости функционально-потоковой параллельной программы 83
4.3 Верификация функционально-потоковых параллельных программ с асинхронными списками 86
4.3.1 Пример верификации функционально-потоковой параллельной программы с асинхронным списком 88
4.4 Инструментальная поддержка методов верификации со спецификацией пользователя 90
4.4.1 Пример верификации функционально-потоковой параллельной программы со спецификацией пользователя 93
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 Выводы
Заключение
