Автоматизированное модельное тестирование бизнес-процессов с использованием сетей Петри

В текущей работе предлагается решение проблемы тестирования бизнес- процессов. Для этого будет описана математическая модель тестирующей системы, основанной на сетях Петри, а также будут описаны некоторые её прикладные части.

Научная новизна текущей работы заключается в новом подходе к тестированию программного обеспечения, а именно в использовании различных шаблонов описания бизнес-процессов и выстраивания их в иерархию.

Целью этого исследования является разработка математической и программной модели системы автоматического тестирования бизнес-процессов.

Введение............................................................................................................... 4

Глава 1 Сети Петри и тестирование программного обеспечения......................... 8

1.1 Тестирования как процесс разработки программного обеспечения........ 8

1.2 Одноуровневые сети Петри..................................................................... 9

1.3 Элементарные структуры сетей Петри.................................................. 14

1.4 Проблемы и преимущества модельного тестирования.......................... 18

Глава 2 Автоматизированное модельное тестирование с использованием сетей Петри............................................................................................................................ 20

2.1 Проблемы тестирования с использованием цепей Маркова.................. 20

2.2 Проблема применения конечного автомата для тестирования ПО........ 21

2.3 Проблема многопользовательского тестирования веб-приложений...... 31

2.4 Иерархические сети Петри.................................................................... 33

2.5 Метод описания бизнес-процесса с помощью иерархических сетей Петри 34

2.6 Свойства сетей Петри............................................................................ 35

2.7 Дерево достижимости........................................................................... 36

2.8 Подход к созданию MBT тестов............................................................ 37

2.9 Построение модели сети Петри для веб-приложений........................... 38

2.10 Критерии испытаний для моделей сети Петри веб приложения......... 39

2.11 Проверка соответствия диаграммы UML бизнес-процессу описанного сетью Петри........................................................................................................... 40

Глава 3 Разработка системы тестирования ПО с использование сети Петри...... 43

3.1 Общая концепция тестирующей системы............................................. 43

3.2 Интеграция симулятора сетей Петри с внешними системами............... 50

3.3 Интерфейс низкого уровня.................................................................... 53

3.4 Интерфейс высокого уровня.................................................................. 54

Глава 4 Практическое применение разработанной методики тестирования....... 56

4.1 Тестирование на реальной системе....................................................... 56

4.2 Измерение стоимости тестирования...................................................... 58

4.3 Анализ полученных результатов........................................................... 60

Заключение......................................................................................................... 66

Список используемой литературы...................................................................... 68

Приложение А Базовые сущности симулятора сетей Петри............................... 72

Приложение Б Контекст состояния сети Петри.................................................. 78