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

имеем на входе: действие1-->действие2 OR действие3 потом далее от действие2 и действие3 идут другие стрелочки.

Вообщем описание бизес процесса который заложен в разработанное ПО. Описание имеет простой формат процесс, стрелка, связующее (OR-ИЛИ). Нужно протестировать различные варианты действий. На выходе список из многочисленных вариантов путей от начальной точки бизнес процесса до конечной. Чтобы потом по этому списку проверить работу приложения при различныз вариантах взаимодействия с ним пользователя.

описанные дествия в БП например такие-регистрация заказа, внесение оплаты и т.д.

чтото на подобие этого на входе http://interface.ru/iarticle/img/4052_2.jpg