Task #4917
closedСоздания инструмента поиска конфликтов для пар EFSM
100%
Description
Инструмент должен быть наследником ru.ispras.retrascope.basis.Engine и должен быть зарегистрирован в ru.ispras.retrascope.Retrascope.config.
Updated by Alexander Kamkin over 10 years ago
Предлагаю решать задачу поэтапно. На первом этапе сделать очень грубый анализатор (наличие переменной, в которую оба автомата осуществляют запись). Цель - ознакомиться с инфраструктурой проекта, добавить в него свой инструмент, добиться того, чтобы инструмент запускался.
Updated by Alexander Kamkin over 10 years ago
- Subject changed from [efsm][conflict] Создания инструмента поиска конфликтов для пар EFSM to [efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM
Updated by Alexander Kamkin over 10 years ago
Второй этап - построение пары путей из начальных состояний автоматов в конфликтное состояние. Для начала попробовать подход с ограничением глубины поиска. Реализовать две стратегии поиска: поиск в глубину (DFS) и поиск в ширину (BFS).
Updated by Alexander Kamkin about 10 years ago
Выделить методы поиск (BFS и DFS) в отдельные классы, реализующие общий интерфейс.
Updated by Alexander Kamkin about 10 years ago
- Subject changed from [efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM to [efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM
Класс Conflict, описывающий результат работы инструмента, должен располагаться в пакете ru.ispras.retrascope.result.conflict.
Кроме того, он не должен зависеть от модели - результат должен быть одинаковым для разных типов моделей (Cfg, Efsm, FlowChart и др.).
Updated by Sergey Smolov almost 10 years ago
- Target version changed from 0.1 to 2.0
Updated by Sergey Smolov over 9 years ago
- Subject changed from [efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM to Создания инструмента поиска конфликтов для пар EFSM
- Category set to 87
Updated by Mikhail Lebedev almost 9 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Инструмент создан и работает.
Updated by Sergey Smolov over 8 years ago
- Status changed from Resolved to Closed
Moved to efsm.conflict.extractor
branch.
Updated by Sergey Smolov about 7 years ago
- Target version changed from 2.0 to 1.0