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