В текущей работе предлагается решение проблемы тестирования бизнес- процессов. Для этого будет описана математическая модель тестирующей системы, основанной на сетях Петри, а также будут описаны некоторые её прикладные части.
Научная новизна текущей работы заключается в новом подходе к тестированию программного обеспечения, а именно в использовании различных шаблонов описания бизнес-процессов и выстраивания их в иерархию.
Целью этого исследования является разработка математической и программной модели системы автоматического тестирования бизнес-процессов.
Введение............................................................................................................... 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
1. Аалст Вил ван дер, Хей ван Кейс. Управление потоками работ: модели, методы и системы. - М.: Физматлит, 2007. - 320 с.
2. Башкин В.А., Ломазова И.А. Подобие обобщенных ресурсов в сетях Петри // Труды МСО-2005. - М.: МГУ, 2005. - С. 330-336.
3. Башкин В.А., Ломазова И.А. Эквивалентность ресурсов в сетях Петри.
- М.: Научный мир, 2008. - 208 с.
4. Доррер М.Г. Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри // Моделирование и анализ информационных систем. - 2010. - №2. - С. 5-16.
5. Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов // Кибернетика и системный анализ. - 2010. - №4. - С. 39-48.
6. Калянов Г.Н. Теория и практика реорганизации бизнес-процессов. - М.: СИНТЕГ, 2000. - 212 с.