📄Работа №181858
Тема: ИССЛЕДОВАНИЕ ПРИМЕНИМОСТИ КОМПОЗИЦИИ КОНЕЧНЫХ АВТОМАТОВ К ТЕСТИРОВАНИЮ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ
Тип работы
Бакалаврская работа
Предмет
физика
Объем:
28 листов
Год:
2020
Просмотров:
52
4265
руб.
🛒 Купить работу
Не подходит эта работа?
Закажите новую по вашим требованиям
Узнать цену на написание
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.
📋 Содержание
Введение 5
1 Основные понятия и определения 6
1.1 Расширенный автомат 6
1.2 Конечный автомат 7
1.3 Переход от расширенного автомата к эквивалентному конечному автомату 8
1.4 Автоматные сети 10
2 Построение композиции компонент телекоммуникационных протоколов 14
2.1 Протокол TIME 14
2.2 Протокол SMTP 15
3 Экспериментальные результаты по тестированию телекоммуникационных
протоколов 18
3.1 Конечный автомат для протокола TIME 18
3.2 Конечный автомат для протокола SMTP 20
3.3 Тестирование расширенных автоматов, описывающих поведение 24
протоколов
Заключение 26
Список использованных источников
1 Основные понятия и определения 6
1.1 Расширенный автомат 6
1.2 Конечный автомат 7
1.3 Переход от расширенного автомата к эквивалентному конечному автомату 8
1.4 Автоматные сети 10
2 Построение композиции компонент телекоммуникационных протоколов 14
2.1 Протокол TIME 14
2.2 Протокол SMTP 15
3 Экспериментальные результаты по тестированию телекоммуникационных
протоколов 18
3.1 Конечный автомат для протокола TIME 18
3.2 Конечный автомат для протокола SMTP 20
3.3 Тестирование расширенных автоматов, описывающих поведение 24
протоколов
Заключение 26
Список использованных источников
📖 Введение
Проверка взаимодействия компонент сложных систем является одной из актуальных современных задач. В настоящее время активно развиваются различные веб-сервисы и приложения, которые работают в режиме реального времени. Поэтому, чтобы иметь возможность проводить тестирование таких систем, необходимо иметь адекватную математическую модель.
Одной из хорошо изученных моделей является конечный автомат [1], методы синтеза тестов на основе конечно-автоматной модели хорошо изучены. Но, к сожалению, конечный автомат не в состоянии адекватно отразить, например, временные аспекты или наличие некоторых параметров в системе. В связи с этим стали появляться новые модели, такие как расширенный и временной автоматы [2]. Однако методы синтеза тестов для таких моделей недостаточно изучены.
В данной работе нам хотелось бы исследовать границы применимости конечно-автоматных методов синтеза тестов в тестировании взаимодействия компонент телекоммуникационных протоколов. Для определенности мы полагаем, что взаимодействуют только две компоненты: клиент и сервер, хотя количество компонент не накладывает принципиальных ограничений на описание их взаимодействия. Поведение каждой компоненты описывается расширенным автоматом, а затем взаимодействие расширенных автоматов моделируется и строится расширенный автомат композиции. Кроме того, по расширенному автомату каждой компоненты строится эквивалентный конечный автомат, данные автоматы композируются и для автомата-композиции строится проверяющий тест. Затем тестовые последовательности конвертируются обратно во входные последовательности расширенного автомата, и проверяется, обнаруживают ли данные последовательности ошибки в расширенном автомате, описывающем взаимодействие компонент. Работоспособность подхода проверяется на телекоммуникационных протоколах TIME и SMTP [3].
Одной из хорошо изученных моделей является конечный автомат [1], методы синтеза тестов на основе конечно-автоматной модели хорошо изучены. Но, к сожалению, конечный автомат не в состоянии адекватно отразить, например, временные аспекты или наличие некоторых параметров в системе. В связи с этим стали появляться новые модели, такие как расширенный и временной автоматы [2]. Однако методы синтеза тестов для таких моделей недостаточно изучены.
В данной работе нам хотелось бы исследовать границы применимости конечно-автоматных методов синтеза тестов в тестировании взаимодействия компонент телекоммуникационных протоколов. Для определенности мы полагаем, что взаимодействуют только две компоненты: клиент и сервер, хотя количество компонент не накладывает принципиальных ограничений на описание их взаимодействия. Поведение каждой компоненты описывается расширенным автоматом, а затем взаимодействие расширенных автоматов моделируется и строится расширенный автомат композиции. Кроме того, по расширенному автомату каждой компоненты строится эквивалентный конечный автомат, данные автоматы композируются и для автомата-композиции строится проверяющий тест. Затем тестовые последовательности конвертируются обратно во входные последовательности расширенного автомата, и проверяется, обнаруживают ли данные последовательности ошибки в расширенном автомате, описывающем взаимодействие компонент. Работоспособность подхода проверяется на телекоммуникационных протоколах TIME и SMTP [3].
✅ Заключение
В процессе выполнения работы было изучено следующее: а) графический редактор расширенных автоматов, с помощью которого можно отрисовать расширенный автомат и затем данный расширенный автомат можно преобразовать в эквивалентный конечный автомат; б) формат .aut для описания конечных автоматов с целью их дальнейшей автоматической композиции; в) пакет прикладных программ FSMs2Composition для автоматизации построения композиции конечных автоматов.
Кроме того, из неформальных спецификаций телекоммуникационных протоколов TIME и SMTP выделены описания клиентской и серверной частей в виде расширенных автоматов. Построены расширенные автоматы, описывающие поведение указанных протоколов путем моделирования их совместного поведения. По конечным автоматам протоколов построены проверяющие тесты обходом графа переходов. Эти тесты преобразованы во входные последовательности соответствующих расширенных автоматов. Установлено, что они покрывают все переходы в расширенных автоматах. Если бы в расширенном автомате возникла ошибка выходов, то она была бы обнаружена таким тестом.
Результаты работы были доложены на всероссийской конференции студенческих научно-исследовательских инкубаторов [10], так же часть результатов представлена на международную конференцию ICAM 2020 (в печати).
В дальнейшем предполагается исследовать способность теста, построенного по эквивалентному конечному автомату для неисправностей переходов, обнаруживать ошибки переходов в соответствующем расширенном автомате. Кроме того, планируется провести оценку полноты тестов, построенных по композиции /-эквивалентов компонент протокола, при обнаружении ошибок в расширенном автомате, описывающем поведение протокола.
Кроме того, из неформальных спецификаций телекоммуникационных протоколов TIME и SMTP выделены описания клиентской и серверной частей в виде расширенных автоматов. Построены расширенные автоматы, описывающие поведение указанных протоколов путем моделирования их совместного поведения. По конечным автоматам протоколов построены проверяющие тесты обходом графа переходов. Эти тесты преобразованы во входные последовательности соответствующих расширенных автоматов. Установлено, что они покрывают все переходы в расширенных автоматах. Если бы в расширенном автомате возникла ошибка выходов, то она была бы обнаружена таким тестом.
Результаты работы были доложены на всероссийской конференции студенческих научно-исследовательских инкубаторов [10], так же часть результатов представлена на международную конференцию ICAM 2020 (в печати).
В дальнейшем предполагается исследовать способность теста, построенного по эквивалентному конечному автомату для неисправностей переходов, обнаруживать ошибки переходов в соответствующем расширенном автомате. Кроме того, планируется провести оценку полноты тестов, построенных по композиции /-эквивалентов компонент протокола, при обнаружении ошибок в расширенном автомате, описывающем поведение протокола.
ИЛИ
Поиск аналога
📕 Список литературы
🛒 Оформить заказ
⚡ Работу высылаем в течении 5 минут после оплаты.