Project

General

Profile

Task #4917

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

Added by Alexander Kamkin over 5 years ago. Updated almost 2 years ago.

Status:
Closed
Priority:
Normal
Category:
Engine (Extractor)
Target version:
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.

History

#1

Updated by Alexander Kamkin about 5 years ago

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

#2

Updated by Alexander Kamkin about 5 years ago

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

Updated by Alexander Kamkin about 5 years ago

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

#4

Updated by Alexander Kamkin about 5 years ago

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

#5

Updated by Alexander Kamkin about 5 years ago

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

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

#6

Updated by Sergey Smolov over 4 years ago

  • Target version changed from 0.1 to 2.0
#7

Updated by Sergey Smolov over 4 years ago

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

Updated by Mikhail Lebedev over 3 years ago

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

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

#9

Updated by Sergey Smolov over 3 years ago

  • Status changed from Resolved to Closed

Moved to efsm.conflict.extractor branch.

#10

Updated by Sergey Smolov almost 2 years ago

  • Target version changed from 2.0 to 1.0

Also available in: Atom PDF