Использование MBT-подхода для верификации систем мониторинга и

контроля на фондовых биржах

Прядкина НатальяКрюков Антон

Костромской государственный технологический университет

• Комиссия по ценным бумагам и биржам США (Securities and Exchange Commission, SEC)

Система мониторинга и контроля на фондовых биржах

Регуляторы

• Департамент управления финансовыми рынками Великобритании (Financial Conduct Authority, FCA)

2

Высокоуровневая схема системы

3

Основные особенности системы

• определение и предотвращение различных типов мошенничества на бирже

• гибко настраиваемые алгоритмы распознавания образов (нечеткая логика)

• обработка большого количества данных в режиме реального времени

• минимизация ложных (ложноположительное / ложноотрицательное) срабатываний

• интеграция с трейдинговой системой: поддержка различных протоколов

• сбор статистических данных за определенный период

4

Требования к методу тестирования системы

5

• обеспечение наиболее полного покрытия тестами

• высокая степень автоматизации сценариев тестирования

• выполнение прогона библиотеки тестов за приемлемое время

• возможность повторного выполнения сценариев (regression testing)

• минимизация изменений сценариев тестирования при изменении функционального поведения системы

• минимизация ошибок первого и второго рода (ложных срабатываний)

• обеспечение возможности автоматизированного тестирования при недетерминированном поведении системы

Тестирование на основе модели (model-based testing, MBT)

6

Преимущества

•моделирование параллельно с разработкой тестируемой системы

•сокращение времени на проект

•автоматизация проектирования сценариев тестирования

•сокращение затрат на поддержку имеющегося набора тестов

•автоматизация создания таблиц неисправностей

Бизнес-процесс «Тестирование на основе модели»

7

Структурная модель системы

8

Выводы

• исследованы технические спецификации системы мониторинга и контроля на фондовых биржах

• определены функции и особенности системы

• определены требования к методу верификации

• выбран метод тестирования

• проведен эксперимент, в котором на имитационной модели были получены положительные результаты

9

Спасибо за внимание!