TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt
-
Upload
iosif-itkin -
Category
Documents
-
view
301 -
download
2
description
Transcript of TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt
![Page 1: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/1.jpg)
Использование MBT-подхода для верификации систем мониторинга и
контроля на фондовых биржах
Прядкина НатальяКрюков Антон
Костромской государственный технологический университет
![Page 2: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/2.jpg)
• Комиссия по ценным бумагам и биржам США (Securities and Exchange Commission, SEC)
Система мониторинга и контроля на фондовых биржах
Регуляторы
• Департамент управления финансовыми рынками Великобритании (Financial Conduct Authority, FCA)
2
![Page 3: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/3.jpg)
Высокоуровневая схема системы
3
![Page 4: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/4.jpg)
Основные особенности системы
• определение и предотвращение различных типов мошенничества на бирже
• гибко настраиваемые алгоритмы распознавания образов (нечеткая логика)
• обработка большого количества данных в режиме реального времени
• минимизация ложных (ложноположительное / ложноотрицательное) срабатываний
• интеграция с трейдинговой системой: поддержка различных протоколов
• сбор статистических данных за определенный период
4
![Page 5: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/5.jpg)
Требования к методу тестирования системы
5
• обеспечение наиболее полного покрытия тестами
• высокая степень автоматизации сценариев тестирования
• выполнение прогона библиотеки тестов за приемлемое время
• возможность повторного выполнения сценариев (regression testing)
• минимизация изменений сценариев тестирования при изменении функционального поведения системы
• минимизация ошибок первого и второго рода (ложных срабатываний)
• обеспечение возможности автоматизированного тестирования при недетерминированном поведении системы
![Page 6: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/6.jpg)
Тестирование на основе модели (model-based testing, MBT)
6
Преимущества
•моделирование параллельно с разработкой тестируемой системы
•сокращение времени на проект
•автоматизация проектирования сценариев тестирования
•сокращение затрат на поддержку имеющегося набора тестов
•автоматизация создания таблиц неисправностей
![Page 7: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/7.jpg)
Бизнес-процесс «Тестирование на основе модели»
7
![Page 8: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/8.jpg)
Структурная модель системы
8
![Page 9: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/9.jpg)
Выводы
• исследованы технические спецификации системы мониторинга и контроля на фондовых биржах
• определены функции и особенности системы
• определены требования к методу верификации
• выбран метод тестирования
• проведен эксперимент, в котором на имитационной модели были получены положительные результаты
9
![Page 10: TMPA-2013 Pryadkina Kryukov: Surveillance MBT pryadkina kryukov_surveillance_mbt](https://reader038.fdocument.pub/reader038/viewer/2022103109/546201cdaf79597f0b8b56ed/html5/thumbnails/10.jpg)
Спасибо за внимание!