https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692014-05-26T04:27:13ZOpen-Source ProjectsRetrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=195972014-05-26T04:27:13ZAlexander Kamkinaskamkin@gmail.com
<ul></ul><p>Предлагаю решать задачу поэтапно. На первом этапе сделать очень грубый анализатор (наличие переменной, в которую оба автомата осуществляют запись). Цель - ознакомиться с инфраструктурой проекта, добавить в него свой инструмент, добиться того, чтобы инструмент запускался.</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=198532014-07-07T05:02:21ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Subject</strong> changed from <i>[efsm][conflict] Создания инструмента поиска конфликтов для пар EFSM</i> to <i>[efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM</i></li></ul> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=199042014-07-09T07:17:48ZAlexander Kamkinaskamkin@gmail.com
<ul></ul><p>Второй этап - построение пары путей из начальных состояний автоматов в конфликтное состояние. Для начала попробовать подход с ограничением глубины поиска. Реализовать две стратегии поиска: поиск в глубину (DFS) и поиск в ширину (BFS).</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=201292014-07-22T06:55:03ZAlexander Kamkinaskamkin@gmail.com
<ul></ul><p>Выделить методы поиск (BFS и DFS) в отдельные классы, реализующие общий интерфейс.</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=201882014-07-24T10:47:41ZAlexander Kamkinaskamkin@gmail.com
<ul><li><strong>Subject</strong> changed from <i>[efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM</i> to <i>[efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM</i></li></ul><p>Класс Conflict, описывающий результат работы инструмента, должен располагаться в пакете ru.ispras.retrascope.result.conflict.<br />Кроме того, он не должен зависеть от модели - результат должен быть одинаковым для разных типов моделей (Cfg, Efsm, FlowChart и др.).</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=216722014-12-30T10:58:49ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>0.1</i> to <i>2.0</i></li></ul> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=223042015-03-13T12:17:59ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Subject</strong> changed from <i>[efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM</i> to <i>Создания инструмента поиска конфликтов для пар EFSM</i></li><li><strong>Category</strong> set to <i>87</i></li></ul> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=247932015-11-24T13:09:24ZMikhail Lebedevlebedev@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li><li><strong>% Done</strong> changed from <i>0</i> to <i>100</i></li></ul><p>Инструмент создан и работает.</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=256552016-03-11T12:59:08ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>Moved to <code>efsm.conflict.extractor</code> branch.</p> Retrascope - Task #4917: Создания инструмента поиска конфликтов для пар EFSMhttps://forge.ispras.ru/issues/4917?journal_id=315052017-09-12T12:44:52ZSergey Smolovsmolov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>1.0</i></li></ul>