MISRA Discussion Forums
MISRA AL SLSF - Rule 043I - Printable Version

+- MISRA Discussion Forums (https://forum.misra.org.uk)
+-- Forum: MISRA Autocode (https://forum.misra.org.uk/forum-8.html)
+--- Forum: MISRA AC SLSF discussions (https://forum.misra.org.uk/forum-152.html)
+--- Thread: MISRA AL SLSF - Rule 043I (/thread-832.html)

MISRA AL SLSF - Rule 043I - Ale_mm - 27-06-2011


I've a doubt regarding the rule 043I of SLSF set. The rule tells: "In all flow-charts and graphical functions, exactly one unconditional transition must begin at every junction (except for the last junction). Every decision point (junction) must have a default path."
The problem is about the bounds of this rules, because it'd delimited only for flow-charts. Since a flowchart contains none or one state, the rule is not applied in case that I have a junction, without a default path, between two state.
Therefore my question is, why this rule (and as far as I know, no others) does not check default paths in junctions between states? Or else, why this rule is only flowcharts circumscribed and not statecharts as well?

Many thanks in advance,
any feedback will be really appreciated,