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

Раздел
Программирование
Просмотров
165
Покупок
0
Антиплагиат
Не указан
Размещена
27 Ноя 2022 в 00:50
ВУЗ
Не указан
Курс
Не указан
Стоимость
520 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
информатика
1.3 Мбайт 520 ₽
Описание

80 страниц.

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

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

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

Оглавление

Введение 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 с.

Вам подходит эта работа?
Другие работы автора
Транспорт
Дипломная работа Дипломная
26 Окт в 13:26
23
0 покупок
Проектирование
Курсовая работа Курсовая
26 Окт в 13:24
35
0 покупок
Экономика
Курсовая работа Курсовая
16 Авг в 22:49
93
0 покупок
Социальная работа
Курсовая работа Курсовая
16 Авг в 22:46
45
0 покупок
Информационная безопасность
Курсовая работа Курсовая
8 Авг в 19:42
75
0 покупок
Финансы и кредит
Курсовая работа Курсовая
8 Авг в 19:40
56
0 покупок
Стратегический менеджмент
Курсовая работа Курсовая
8 Авг в 19:37
67
0 покупок
Маркетинг
Курсовая работа Курсовая
5 Авг в 15:56
59
0 покупок
Юриспруденция
Магистерская диссертация Магистерская диссертация
8 Июл в 13:47
234
0 покупок
Геодезия
Курсовая работа Курсовая
27 Июн в 00:25
150
0 покупок
Финансы
Дипломная работа Дипломная
27 Июн в 00:11
184 +1
0 покупок
Право
Курсовая работа Курсовая
26 Июн в 22:42
164
1 покупка
Бизнес-планирование
Бизнес-план Бизнес-план
11 Июн в 17:00
77
0 покупок
Право
Курсовая работа Курсовая
18 Апр в 11:21
109
0 покупок
Право
Курсовая работа Курсовая
12 Апр в 22:40
173
0 покупок
Темы журнала
Показать ещё
Прямой эфир