Моделирование тестовых сценариев поведения участников

биржевой торговли

Ростислав Яворский Елена Герасимова

НИУ ВШЭ, Факультет компьютерных наук

Постановка задачи

• Сформулировать критерий полноты тестового набора в терминах макро состояний

• Разработка методов автоматизированного построения тестовых сценариев для использования в интеграционном, системном и приемочном тестировании

Граф макро состояний

Отношение эквивалентности:

s1 s2 если P1(s1)=P1(s2) & … & Pn(s1)=Pn(s2)

Определение. Макро состояние (hyper state) – класс эквивалентности состояний системы относительно фиксированного набора конечнозначных характеристик.

Ребро – существование перехода.

Неформально

• Граф макро состояний описывает возможные переходы между классами схожих состояний

• Критерии покрытия:

– Зашли во все достижимые состояния

– Прошлись по всем переходам между макро состояниями

Свойства

• Граф конечен: для n булевских свойств

– количество вершин не превосходит 2n

– оценка количества ребер 22n

• Граф неразрешим: даже для простого набора свойств наличие перехода алгоритмически неразрешимо

Пример: большая теорема Ферма

Основной результат

• Идея: если мы расширяем множество характеристик, то каждое макро состояние расщепляется на несколько.

• Следствие: если два макро состояния не связаны, то после расщепления никакие их части тоже не связаны.

Трейдеры и биржа