Введение
ГЛАВА 1 Анализ проблемы тестирования и диагностирования программных средств 14
1.1 Методы тестирования и диагностирования программных средств 14
1.2 Тестирование классов с использованием потока данных 27
1.3 Методы оценки сложности вычислительных алгоритмов и их распараллеливания 30
1.4 Постановка задачи исследования 36
ГЛАВА 2 Методы тестирования и диагностирования вычислительных алгоритмов с использованием графа потока данных 39
2.1 Особенности тестирования и диагностирования объектно-ориентированного программного обеспечения 39
2.2 Основные термины и определения, используемые при разработке модели и алгоритмов диагностирования программного обеспечения 41
2.3 Структура разработанного метода тестирования и диагностирования объектно-ориентированных вычислительных алгоритмов 50
2.4 Модель диагностирования программного обеспечения с использованием графа потока данных 53
2.5 Метод автоматизированного построения граф-модели потока данных алгоритма для целей диагностирования и отладки вычислительного алгоритма в процессе тестового прогона 57
2.6 Алгоритмы анализа графа потока данных вычислительного алгоритма, полученного в процессе тестового прогона, для целей тестирования и диагностирования 74
2.7 Исследование методов упорядочивания списка проверочных вершин граф-модели потока данных с целью повышения эффективности работы алгоритмов.. 79
2.8 Выводы 86
ГЛАВА 3 Автоматизация разработанных методов и внедрение в программный проект для практического применения 87
3.1 Интеграция класса Number в тестируемый проект для целей диагностирования вычислительных алгоритмов 87
3.2 Разработка спецификации конвертора 91
3.3 Интеграция графа потока данных в проект C++ на платформе Visual Studio Net 2005 с использованием конвертора 96
3.4 Выводы 97
ГЛАВА 4 Применение графа потока данных для анализа и оптимизации вычислительных алгоритмов 99
4.1 Применение граф-модели потока данных для оценки сложности вычислительных алгоритмов 99
4.2 Анализ сложности реализации программных алгоритмов с целью их оптимизации на основе графа потока данных 104
4.3 Модель графа потока данных для целей распараллеливания вычислительного алгоритма ПО
4.5 Выводы 119
ГЛАВА 5 Практическая реализация разработанных методов диагностирования ошибок программного обеспечения 120
5.1 Описание работы программы расчеты зачетов налоговых платежей 120
5.2. Оптимизация диагностирования программы зачета налоговых платежей 122
5.3. Выводы 124
Заключение 125
Список литературы


