5. Tester un diagramme d'état
Choisir les pages Automsim à tester
Lancer le test
Ensuite, cliquer sur l'icône « GO ! » pour lancer le test :
Puis, cliquer sur ok, pour connecter et télécharger !
Le test commence par compiler le programme.
La compilation va traduire le programme en code compréhensible par la cible.
Durant cette opération, Automgen va contrôler la syntaxe du programme et signaler les erreurs.
Existence d'une erreur fatale

Si le message « erreur fatale » apparaît comme ci-dessus, cela signifie qu'un événement , ou une condition de garde, ou une action, ou une activité ont été utilisés alors qu'ils ne sont pas référencés dans la table des symboles.
Vérifier alors les fautes de frappe, les majuscules, ou les accents.
Exemple1 : « arret » au lieu de « arrêt ».
Exemple2 : « arrêt » au lieu de « Arrêt ».
Corriger ces erreurs puis relancer le test, en cliquant de nouveau sur l'icône « GO ! ».
Autres erreurs possibles
Les autres erreurs sont précisées en bas de page dans l'onglet compilation couleur de fond rose...
Les erreurs sont identifiées par des numéros : ci-dessus 0057.
Double cliquer sur la ligne 0057 afin que l'erreur se mette en rouge sur le programme comme ci-dessus.
Dans cet exemple, l'erreur est le nom de la garde qui n'a pas été encadrée par le tiret de la touche 8. Cela devrait être : _dcy_
Animation du diagramme d'état
Lors du test sur le système réel, le diagramme d'état s'anime également : les états actifs sont en rouge.
Les valeurs des variables associées aux événements ou conditions de garde des transitions sont sont également indiquées : « True » ou « False ».
La fenêtre de vue dynamique (en haut à droite de l'écran) permet de visualiser les valeurs des différentes variables utilisées en temps réel. |
Effectuer différents événements sur le système réel (appui sur un bouton, puis sur un autre) qui permettent de changer ou pas l'état du système.
Puis vérifier, ce qui se passe sur la zone graphique ainsi que dans la vue dynamique.
Arrêter le test
À la fin du test, cliquer sur GO ! pour revenir en mode édition du programme.