Extensions.StateMachineProcedure.StateMachineProcedureChk011

From emotive
Revision as of 04:35, 20 January 2022 by Ntr2 (talk | contribs) (refs #9361)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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 shall not be allowed.


Retrieved from "http://emotive.de/wiki/index.php?title=Extensions.StateMachineProcedure.StateMachineProcedureChk011&oldid=10345"