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

участников биржевой торговлиРостислав ЯворскийЕлена Герасимова

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

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

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

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

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

Отношение эквивалентности: s1 s2 если P1(s1)=P1(s2) & … & Pn(s1)=Pn(s2)

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

Неформально

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

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

состояниями

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

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

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

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

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

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

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

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