Difference between revisions of "Extensions.StateMachineProcedure.StateMachineProcedureChk011"
Jump to navigation
Jump to search
(refs #9361) |
(refs #9361 - change 'shall' to 'will') |
||
| Line 4: | Line 4: | ||
== Description == | == Description == | ||
| − | States in a state machine to which there is no path through the control flow | + | States in a state machine to which there is no path through the control flow will not be allowed. |
| − | {{Comment|Each state except the initial state must be targeted at least by one other state. This rule | + | {{Comment|Each state except the initial state must be targeted at least by one other state. This rule will ensure that all states are reachable.}} |
Latest revision as of 04:51, 20 January 2022
Classification
| Name | StateMachineProcedure_Chk011 |
| Class | StateMachineProcedure |
| Severity | Critical |
| SpecifiedBy | ISO 13209-4 |
Description
States in a state machine to which there is no path through the control flow will not be allowed.
