Project

General

Profile

Actions
Copy link

Task #4917

closed

Создания инструмента поиска конфликтов для пар EFSM

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

Status:
Closed
Priority:
Normal
Assignee:
Mikhail Lebedev
Category:
Engine (Extractor)
Target version:
1.0
Start date:
05/12/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:

Description

Инструмент должен быть наследником ru.ispras.retrascope.basis.Engine и должен быть зарегистрирован в ru.ispras.retrascope.Retrascope.config.

Actions
Copy link
 #1

Updated by Alexander Kamkin almost 10 years ago

Предлагаю решать задачу поэтапно. На первом этапе сделать очень грубый анализатор (наличие переменной, в которую оба автомата осуществляют запись). Цель - ознакомиться с инфраструктурой проекта, добавить в него свой инструмент, добиться того, чтобы инструмент запускался.

Actions
Copy link
 #2

Updated by Alexander Kamkin almost 10 years ago

  • Subject changed from [efsm][conflict] Создания инструмента поиска конфликтов для пар EFSM to [efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM
Actions
Copy link
 #3

Updated by Alexander Kamkin almost 10 years ago

Второй этап - построение пары путей из начальных состояний автоматов в конфликтное состояние. Для начала попробовать подход с ограничением глубины поиска. Реализовать две стратегии поиска: поиск в глубину (DFS) и поиск в ширину (BFS).

Actions
Copy link
 #4

Updated by Alexander Kamkin almost 10 years ago

Выделить методы поиск (BFS и DFS) в отдельные классы, реализующие общий интерфейс.

Actions
Copy link
 #5

Updated by Alexander Kamkin almost 10 years ago

  • Subject changed from [efsm][detector][conflict] Создания инструмента поиска конфликтов для пар EFSM to [efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM

Класс Conflict, описывающий результат работы инструмента, должен располагаться в пакете ru.ispras.retrascope.result.conflict.
Кроме того, он не должен зависеть от модели - результат должен быть одинаковым для разных типов моделей (Cfg, Efsm, FlowChart и др.).

Actions
Copy link
 #6

Updated by Sergey Smolov over 9 years ago

  • Target version changed from 0.1 to 2.0
Actions
Copy link
 #7

Updated by Sergey Smolov about 9 years ago

  • Subject changed from [efsm][extractor][conflict] Создания инструмента поиска конфликтов для пар EFSM to Создания инструмента поиска конфликтов для пар EFSM
  • Category set to 87
Actions
Copy link
 #8

Updated by Mikhail Lebedev over 8 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Инструмент создан и работает.

Actions
Copy link
 #9

Updated by Sergey Smolov about 8 years ago

  • Status changed from Resolved to Closed

Moved to efsm.conflict.extractor branch.

Actions
Copy link
 #10

Updated by Sergey Smolov over 6 years ago

  • Target version changed from 2.0 to 1.0
Actions
Copy link

Also available in: Atom PDF