Actions
Task #5473
closedНепонятные места в описании Веронского метода
Start date:
12/10/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Published in build:
Description
В Wiki присутствует следующая фраза:
строится ограничение в виде конъюнкции действия перехода t и условие срабатывания t и целевого перехода;
Непонятно, что она означает. Гипотеза:
строится конъюнкция условия срабатывания перехода t и слабейшего предусловия действия перехода t относительно условия срабатывания целевого перехода;
Предлагаю еще раз посмотреть описание алгоритма. Возможно, следует ввести обозначения для его более компактной и наглядной записи.
Updated by Sergey Smolov almost 10 years ago
- Target version changed from 0.1 to 0.2
Updated by Sergey Smolov over 9 years ago
- Subject changed from [efsm][testgen][test] Непонятные места в описании Веронского метода to Непонятные места в описании Веронского метода
- Category set to Engine (Generator)
Updated by Sergey Smolov over 9 years ago
- Target version changed from 0.2 to 0.1
Updated by Sergey Smolov over 9 years ago
- Status changed from New to Feedback
Is this task still actual?
Updated by Sergey Smolov over 8 years ago
- Status changed from Feedback to Open
- Target version changed from 0.1 to 0.2
Updated by Sergey Smolov about 8 years ago
- Detected in build changed from svn to master
Updated by Sergey Smolov about 7 years ago
- Status changed from Open to Resolved
- Assignee changed from Igor Melnichenko to Sergey Smolov
- % Done changed from 0 to 100
Метод подробно описан тут: http://forge.ispras.ru/projects/retrascope/wiki/EFSM_Building_(Related_Work)
и в статье на SYRCoSE 2015 года.
Updated by Sergey Smolov about 7 years ago
- Target version changed from 0.2 to 1.0
Updated by Sergey Smolov over 5 years ago
- Status changed from Resolved to Closed
Actions