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

Раздел
Программирование
Тип
Просмотров
223
Покупок
0
Антиплагиат
Не указан
Размещена
6 Ноя 2021 в 18:19
ВУЗ
тгу
Курс
Не указан
Стоимость
1 000 ₽
Файлы работы   
1
Каждая работа проверяется на плагиат, на момент публикации уникальность составляет не менее 40% по системе проверки eTXT.
docx
94информатика 11
1.3 Мбайт 1 000 ₽
Описание

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

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

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

Оглавление

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

Вам подходит эта работа?
Похожие работы
Другие работы автора
Банковское дело
Тест Тест
25 Мая 2022 в 19:10
347 +2
1 покупка
Микроэкономика
Тест Тест
20 Мар 2022 в 12:04
349 +2
1 покупка
Адвокатура
Тест Тест
26 Фев 2022 в 18:53
352 +2
3 покупки
Логистика
Тест Тест
26 Фев 2022 в 18:48
345 +2
0 покупок
Право
Тест Тест
26 Фев 2022 в 18:44
808 +2
12 покупок
Педагогика
Тест Тест
26 Фев 2022 в 18:40
354 +2
0 покупок
Социальная психология
Тест Тест
10 Янв 2022 в 19:14
321 +2
3 покупки
Юриспруденция
Задача Задача
10 Янв 2022 в 19:08
414 +2
1 покупка
История
Задача Задача
10 Янв 2022 в 18:54
308 +2
0 покупок
Зарубежная история
Тест Тест
10 Янв 2022 в 18:51
374 +3
3 покупки
Психология
Тест Тест
9 Дек 2021 в 19:28
389 +2
1 покупка
Трудовое право
Тест Тест
9 Дек 2021 в 19:10
358 +2
2 покупки
Правовые основы бизнеса
Тест Тест
9 Дек 2021 в 18:43
233 +2
0 покупок
Педагогика
Тест Тест
7 Дек 2021 в 19:42
246 +2
2 покупки
Педагогика
Тест Тест
7 Дек 2021 в 19:23
345 +2
3 покупки
История
Тест Тест
7 Дек 2021 в 19:01
175 +2
0 покупок
История
Тест Тест
7 Дек 2021 в 18:46
174 +2
0 покупок
История Отечества
Тест Тест
7 Дек 2021 в 18:32
262 +2
0 покупок
Психология
Тест Тест
7 Дек 2021 в 18:22
319 +2
11 покупок
Темы журнала
Показать ещё
Прямой эфир