Содержание
Список использованных сокращений.
ВВЕДЕНИЕ.
ГЛАВА 1. ПРИМЕНЕНИЕ МОДЕЛЕЙ В ПРОЦЕССЕ РАЗРАБОТКИ ПРОГРАММ. ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ. МОДЕЛИ РАСПРЕДЕЛЕННЫХ ВЗАИМОДЕЙСТВУЮЩИХ СИСТЕМ.
1.1 Разработка, управляемая моделями
1.2 Тестирование ПО сегодня.
1.3 Краткий обзор технологий тестирования.
1.4 Модели распределенных многопоточных
взаимодействующих систем
1.4.1 Сети Петри
1.4.2 Язык
1.4.3 ЯзыкИМЬ.
1.5 Выводы к главе 1
ГЛАВА 2. ПОСТРОЕНИЕ МАТЕМАТИЧЕСКОЙ МОДЕЛИ СОВРЕМЕННЫХ РАСПРЕДЕЛЕННЫХ
НЕДЕТЕРМИНИРОВАННЫХ СИСТЕМ
2.1 Модели в исследовании свойств алгоритма.
Проблема тестирования.
2.2 Распределенные недетерминированные взаимодействующие системы. Постановка задачи на тестирование
2.3 Модель распределенных недетерминированных систем
2.3.1 Конечный автомат.
2.3.2 Конечный автомате вероятностными переходами.
2.3.3 Конечный автомате вероятностными переходами и обработкой событий и исключений.
2.3.4 Расширение автомата для поддержки моделирования многопоточных приложений
2.3.4.1 Параллелизм.
2.3.4.2 Операция создания потока и понятие кратности
2.3.4.3 Операция ожидания потоков.
2.3.4.4 Обмен сообщениями.
2.3.4.5 Блокировка ресурсов.
2.3.5. Модель многокомпонентной системы высокого уровня.
2.3.6 Моделирование межкомпонентной связности.
2.3.7 Итотовая модель системы в виде взаимодействующих компонентов.
2.4 Предварительная оценка модели.
2.4 Выводы к главе 2
ГЛАВА 3. ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ ПРОЦЕССОВ РАЗРАБОТКИ И ТЕСТИРОВАНИЯ НА ОСНОВЕ МОДЕЛЕЙ.
3.1 Представление автомата в виде состояний, переходов и операций
3.2 Способы описания модели и ее соотношение
с исходным кодом системы .
3.2.1 Описание модели при отсутствии кода
3.2.2 Описание модели при наличии кода.
3.3 О практической значимости и адекватности модели
3.4 Процесс разработки и тестирования на основе моделей
3.5 Статическая верификация модели
3.6 Динамическое тестирование по модели.
3.6 Выводы к главе 3 ИЗ
ЗАКЛЮЧЕНИЕ
Список использованной литературы
- Київ+380960830922