Actions
Task #4661
closed[cgaa][transformer][efsm] Изменить алгоритм извлечения состояний
Start date:
01/13/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
r1144
Description
При построении попарно несовместных ограничений (какждое из которых соответствует состоянию) следует учитывать не только охранные условия - предусловия, но и постусловия (результаты символического выполнения действий для охранных условий).
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from Изменить алгоритм извлечения состояний to [efsm][extractor] Изменить алгоритм извлечения состояний
- Target version set to 0.1
Updated by Alexander Kamkin almost 10 years ago
- Subject changed from [efsm][extractor] Изменить алгоритм извлечения состояний to [cgaa][transformer][efsm] Изменить алгоритм извлечения состояний
Updated by Sergey Smolov over 9 years ago
- Status changed from New to Open
Приступил к реализации подхода к построению состояний, описанного в 2014-efsm-extraction.
Updated by Sergey Smolov over 9 years ago
- % Done changed from 0 to 50
Реализовано расщепление switch-узлов, содержащих булевские операции (как минимум одну - на верхнем уровне) и зависящих от переменных состояния.
Updated by Sergey Smolov over 9 years ago
- % Done changed from 50 to 70
Протестировано расщепление условных операторов (с помощью GraphML-принтера), реализовано извлечение первичного набора ограничений на переменные состояния.
Updated by Sergey Smolov over 9 years ago
- Status changed from Open to Resolved
- % Done changed from 70 to 100
- Published in build set to r1144
Реализован алгоритм извлечения состояний согласно документу 2014-efsm-extraction
Updated by Alexander Kamkin over 9 years ago
- Status changed from Resolved to Closed
Actions