Modélisation des conditions FSM swith?

Question

Je suis supposé modéliser un FSM mais je ne sais pas comment modéliser les conditions. Prenons l'exemple simple de l'ATM. Si l'utilisateur appuie sur « Confirmer » ET PIN est correct, passer à l'état 2. Si l'utilisateur appuie sur « Confirmer » et le code PIN est incorrect, passer à l'état 3.

Ou pourrais-je simplement utiliser l'entrée appelée « mauvaise broche » et "pin correct"? J'aurais besoin qu'il soit formel pour que je puisse utiliser des procédures de test FSM, comme la génération de couvertures, etc. Mais je ne sais pas si FSM peut être modélisé de cette façon (peut-être en ajoutant des états représentant des conditions supplémentaires?)

Answer 1

d suggérer d'utiliser l'élément de choix et de ne pas mettre d'informations sur les entrées «possibles» dans le modèle. En faisant cela, vous pouvez paramétrer votre machine d'état externe. Vous pouvez le simuler avec le code PIN correct et le code PIN incorrect. L'organigramme doit être indépendant.