Разработка методов и алгоритмов диагностирования программного обеспечения с использованием графа потока данных

ВВЕДЕНИЕ.
ГЛАВА I АНАЛИЗ ПРОБЛЕМЫ ТЕСТИРОВАНИЯ И ДИАГНОСТИРОВАНИЯ ПРОГРАММНЫХ СРЕДСТВ
1.1 Методы тестировании и диагностирования программных средств.
1.2 Тестирование классов с использованием потока данных
1.3 Методы оценки сложности вычислительных алгори тмов и их распараллеливании.
1.4 Постановка задачи исследовании.
ГЛАВА 2 МЕТОДЫ ТЕСТИРОВАНИЯ И ДИАГНОСТИРОВАНИЯ
ВЫЧИСЛИТЕЛЬНЫХ АЛГОРИТМОВ С ИСПОЛЬЗОВАНИЕМ ГРАФА ПОТОКА
ДАННЫХ а
2.1 Особенности тестировании и диагностировании объектноориентированного программною обеспечения.
2.2 Основные термины и определении, используемые при разработке модели и алгоритмов диагностировании прораммного обеспечении
2.3 Структу ра разработанною метода тестировании и диагностирования обьсктноорнентнрованных вычислительных алгоритмов.
2.4 Модель диагностирования программного обеспечения с использованием графа потока данных.
2.5 Метод автоматизированною построения рафмоделн потока данных алгоритма для целей диагностировании и отладки вычислительного алгоритма в процессе тестового протона
2.6 Алгоритмы анализа т рафа потока данных вычислительного алгоритма, полученного в процессе тестового протона, для целей тестирования и диагностирования
2.7 Исследование методов упорядочивания списка проверочных вершин графмодели потока данных с целью повышения тффектипности работы алгоритмов
2.8 Выводы.
ГЛАВА 3 АВТОМАТИЗАЦИЯ РАЗРАБОТАННЫХ МЕТОДОВ ВНЕДРЕНИЕ В
ПРОГРАММНЫЙ ПРОЕКТ ДЛЯ ПРАКТИЧЕСКОГО ПРИМЕНЕНИЯ
3.1 Интеграции класса в тестируемый проект для целей диагностировании вычислительных алгоритмов.
3.2 Разработка спецификации конвертора.
3.3 Интеграция графа потока данных в проект на платформе Vi i с использованием конвертора.
3.4 Выводы.
ГЛАВА 4 ПРИМЕНЕНИЕ ГРАФА ПОТОКА ДАННЫХ ДЛЯ АНАЛИЗА И
ОПТИМИЗАЦИИ ВЫЧИСЛИТЕЛЬНЫХ АЛГОРИТМОВ
4.1 Применение рафмоделн потока данных для оценки сложности вычислительных алгоритмов.
4.2 Анализ сложности реализации программных алгоритмов с целью их оптимизации на основе графа потока данных
4.3 Модель графа потока данных дли целен раснара.ыс.шванни вычислительного алгоритма
4.5 Выводы
ГЛАВА 5 ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ РАЗРАБОТАННЫХ МЕТОДОВ
ДИАГНОСТИРОВАНИЯ ОШИБОК ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
5.1 Описание работы программы расчеты зачетов налоговых платежей
5.2. Оптимизации диагностирования прог раммы зачета налоговых платежей
53. Выводы.
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ