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 #1

Updated by Sergey Smolov over 6 years ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Done in c80e6fb1

Actions #2

Updated by Sergey Smolov over 6 years ago

  • Status changed from Resolved to Verified
Actions #3

Updated by Sergey Smolov over 6 years ago

  • Status changed from Verified to Closed
  • Published in build set to 1.0.1-beta-170912
Actions

Also available in: Atom PDF