modelling of exchange trading participants behavior test scenarios
DESCRIPTION
Elena Gerasimova, Rostislav Yavorsky, Higher School of Economics, MoscowTRANSCRIPT
Моделирование тестовых сценариев поведения участников
биржевой торговли
Ростислав Яворский Елена Герасимова
НИУ ВШЭ, Факультет компьютерных наук
Постановка задачи
• Сформулировать критерий полноты тестового набора в терминах макро состояний
• Разработка методов автоматизированного построения тестовых сценариев для использования в интеграционном, системном и приемочном тестировании
Граф макро состояний
Отношение эквивалентности:
s1 s2 если P1(s1)=P1(s2) & … & Pn(s1)=Pn(s2)
Определение. Макро состояние (hyper state) – класс эквивалентности состояний системы относительно фиксированного набора конечнозначных характеристик.
Ребро – существование перехода.
Неформально
• Граф макро состояний описывает возможные переходы между классами схожих состояний
• Критерии покрытия:
– Зашли во все достижимые состояния
– Прошлись по всем переходам между макро состояниями
Свойства
• Граф конечен: для n булевских свойств
– количество вершин не превосходит 2n
– оценка количества ребер 22n
• Граф неразрешим: даже для простого набора свойств наличие перехода алгоритмически неразрешимо
Пример: большая теорема Ферма
Основной результат
• Идея: если мы расширяем множество характеристик, то каждое макро состояние расщепляется на несколько.
• Следствие: если два макро состояния не связаны, то после расщепления никакие их части тоже не связаны.
Трейдеры и биржа