Difference between revisions of "Extensions.StateMachineProcedure.StateMachineProcedureChk009"

From emotive
Jump to navigation Jump to search
(refs #9361)
 
(refs #9361 - change 'shall' to 'will')
 
Line 4: Line 4:
  
 
== Description ==
 
== Description ==
The target state of a transition shall refer to an existing state inside the same procedure.
+
The target state of a transition will refer to an existing state inside the same procedure.

Latest revision as of 04:51, 20 January 2022

Classification

Name StateMachineProcedure_Chk009
Class StateMachineProcedure
Severity Critical
SpecifiedBy ISO 13209-4

Description

The target state of a transition will refer to an existing state inside the same procedure.