- дата последнего обновления 19.10.10 -

Оглавление

1 Функции DVM отладчика

1.1 Метод динамического контроля DVM-указаний
1.2 Типы выявляемых ошибок
1.3 Метод сравнения результатов выполнения

2 Состав DVM отладчика
3 Прототипы отладочных функций
4 Реализация базовых модулей

4.1 Таблица
4.2 Хеш-таблица
4.3 Таблица переменных
4.4 Модуль выдачи диагностики

4.4.1 Обработка контекста диагностики
4.4.2 Функции выдачи диагностики

5 Метод контроля DVM-указаний

5.1 Контроль инициализации переменных и элементов массивов
5.2 Контроль доступа к элементам распределенного массива
5.3 Контроль приватных и неизменяемых переменных
5.4 Контроль редукционных переменных
5.5 Контроль использования буфера удаленных элементов
5.6 Реализация системы динамического контроля DVM-указаний

5.6.1 Режим работы динамического контроля с таблицей переменных
5.6.2 Основные функции модуля динамического контроля
5.6.3 Параметры системы динамического контроля

6 Метод сравнения результатов выполнения

6.1 Накопление трассировки
6.2 Сравнение результатов
6.3 Контроль редукционных операций
6.4 Форматы входных и выходных файлов

6.4.1 Конфигурационный файл трассировки
6.4.2 Файл трассировки

6.5 Реализация системы сравнения результатов выполнения

6.5.1 Основные структуры системы сравнения результатов выполнения
6.5.2 Модуль записи трассировки
6.5.3 Модуль накопления трассировки
6.5.4 Модуль чтения трассировки
6.5.5 Модуль сравнения трассировки
6.5.6 Модуль обработки редукции
6.5.7 Параметры системы сравнения результатов выполнения

7 Диагностики динамического отладчика

Таблица 1. Диагностика динамического контроля DVM-указаний
Таблица 2. Диагностика сравнения результатов выполнения