Added by Alexander Kamkin almost 10 years ago. Updated over 6 years ago.
100%
Description
Инструмент должен быть наследником ru.ispras.retrascope.basis.Engine и должен быть зарегистрирован в ru.ispras.retrascope.Retrascope.config.
Предлагаю решать задачу поэтапно. На первом этапе сделать очень грубый анализатор (наличие переменной, в которую оба автомата осуществляют запись). Цель - ознакомиться с инфраструктурой проекта, добавить в него свой инструмент, добиться того, чтобы инструмент запускался.
Второй этап - построение пары путей из начальных состояний автоматов в конфликтное состояние. Для начала попробовать подход с ограничением глубины поиска. Реализовать две стратегии поиска: поиск в глубину (DFS) и поиск в ширину (BFS).
Выделить методы поиск (BFS и DFS) в отдельные классы, реализующие общий интерфейс.
Класс Conflict, описывающий результат работы инструмента, должен располагаться в пакете ru.ispras.retrascope.result.conflict.
Кроме того, он не должен зависеть от модели - результат должен быть одинаковым для разных типов моделей (Cfg, Efsm, FlowChart и др.).
Инструмент создан и работает.
Moved to efsm.conflict.extractor branch.