Task #4959: [cfg][transformer][efsm] Разработка fake-версии CfgEfsmTransformer - Retrascope - Open-Source Projects

Actions

Copy link

Task #4959

closed

[cfg][transformer][efsm] Разработка fake-версии CfgEfsmTransformer

Added by Alexander Kamkin over 10 years ago. Updated over 10 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Igor Melnichenko

Category:

Target version:

0.1

Start date:

05/26/2014

Due date:

% Done:

Estimated time:

Detected in build:

svn

Published in build:

Description

Для удобства отладки инструментов анализа EFSM-моделей предлагается в классе CfgEfsmTransformer создать объект типа EfsmModel, содержащий два EFSM.
Это позводит запускать разрабатываемые инструменты генерации тестов и поиска конфликтов, используя общий механизм запуска Retrascope.