Project

General

Profile

Actions

Feature #8305

closed

EFSM state limit

Added by Sergey Smolov over 6 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Transformer)
Target version:
Start date:
07/21/2017
Due date:
% Done:

100%

Estimated time:
Published in build:
1.0.1-beta-170912

Description

The command line parameter for CGAA_to-EFSM transformer.
The parameter is used in the transformer as follows:
When EFSM state construction procedure is started, a capacity for every SLR is calculated. After that all the capacities are multiplied and the total maximal number of EFSM states is calculated. If this number is less or equal to the specified parameter, the EFSM construction procedure is started. Neither orthogonalization no code-extracted expressions are needed. If the maximum number of the EFSM states is greater than the limit, then the existing procedure is started, but no state splitting is done. The weakest preconditions are put into the EFSM transition guards.

Actions

Also available in: Atom PDF