Modellierung von FSM-Swith-Bedingungen?

Question

Ich sollte eine FSM modellieren, aber ich bin unsicher, wie man Bedingungen modelliert. Nehmen wir das einfache ATM-Beispiel. Wenn der Benutzer auf „Bestätigen“ drückt und die PIN korrekt ist, 2. zu Staat geht Wenn der Benutzer auf „Bestätigen“ drückt und PIN ist nicht korrekt, 3.

zu Staat geht Oder könnte ich einfach Eingang als „falsch pin“ verwenden und "richtige Pin"? Ich würde es brauchen, um formell zu sein, so dass ich FSM Testverfahren, wie Abdeckungssatzerzeugung usw. verwenden kann. Aber ich weiß nicht, ob FSM so modelliert werden kann (vielleicht mit dem Hinzufügen von Zuständen, die zusätzliche Bedingungen darstellen?)

Answer 1

I ' Ich schlage vor, das Auswahlelement zu verwenden und keine Informationen über die "möglichen" Eingaben in das Modell aufzunehmen. Auf diese Weise können Sie Ihre Zustandsmaschine extern parametrisieren. Sie können es mit korrekter PIN und falscher PIN simulieren. Das Statechart muss unabhängig sein.