Project

General

Profile

Task #4661

[cgaa][transformer][efsm] Изменить алгоритм извлечения состояний

Added by Alexander Kamkin over 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
01/13/2014
Due date:
% Done:

100%

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

Description

При построении попарно несовместных ограничений (какждое из которых соответствует состоянию) следует учитывать не только охранные условия - предусловия, но и постусловия (результаты символического выполнения действий для охранных условий).

History

#1

Updated by Alexander Kamkin about 5 years ago

  • Subject changed from Изменить алгоритм извлечения состояний to [efsm][extractor] Изменить алгоритм извлечения состояний
  • Target version set to 0.1
#2

Updated by Alexander Kamkin about 5 years ago

  • Subject changed from [efsm][extractor] Изменить алгоритм извлечения состояний to [cgaa][transformer][efsm] Изменить алгоритм извлечения состояний
#3

Updated by Sergey Smolov almost 5 years ago

  • Status changed from New to Open

Приступил к реализации подхода к построению состояний, описанного в 2014-efsm-extraction.

#4

Updated by Sergey Smolov almost 5 years ago

  • % Done changed from 0 to 50

Реализовано расщепление switch-узлов, содержащих булевские операции (как минимум одну - на верхнем уровне) и зависящих от переменных состояния.

#5

Updated by Sergey Smolov almost 5 years ago

  • % Done changed from 50 to 70

Протестировано расщепление условных операторов (с помощью GraphML-принтера), реализовано извлечение первичного набора ограничений на переменные состояния.

#6

Updated by Sergey Smolov over 4 years ago

  • Status changed from Open to Resolved
  • % Done changed from 70 to 100
  • Published in build set to r1144

Реализован алгоритм извлечения состояний согласно документу 2014-efsm-extraction

#7

Updated by Alexander Kamkin over 4 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF