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