La méthode de travail
State Machine modélise le comportement de l’interface sous forme d’états et de transitions explicites plutôt que de booléens vaguement reliés. Il identifie les événements qui font évoluer le composant, les gardes qui autorisent une transition et les actions qui ont lieu en chemin. Les formulaires, les requêtes de données, l’authentification et les assistants en plusieurs étapes sont les exemples donnés par la source.
L’objectif est une spécification de comportement testable. Chaque état doit avoir une représentation d’interface définie. Les états non terminaux ont besoin d’une sortie, et les combinaisons invalides doivent être identifiées avant l’implémentation. La source ne choisit aucune bibliothèque state-machine et ne prétend pas générer automatiquement une preuve exhaustive.
Livrables attendus
- Un inventaire des états et des événements pour un sujet précis.
- Une carte des transitions avec gardes et actions d’entrée ou de sortie.
- Des cas d’erreur, de reprise et d’états impossibles à passer en revue.
Du brief à la revue
- 01Lister les états et les événements
Nommez les modes significatifs et chaque déclencheur capable de les modifier, en commençant par le scénario nominal.
- 02Définir les transitions valides
Précisez les destinations, les conditions et les effets de bord. Identifiez les combinaisons que la conception doit empêcher.
- 03Ajouter la reprise et la correspondance avec l’interface
Modélisez l’échec, la nouvelle tentative, l’annulation et les sorties ; montrez l’apparence de l’interface dans chaque état.