Il metodo di lavoro
State Machine modella il comportamento dell'interfaccia con stati e transizioni espliciti, anziché con flag booleani vagamente collegati. Individua gli eventi che muovono il componente, le guard che consentono una transizione e le azioni che avvengono lungo il percorso. Moduli, richieste di dati, autenticazione e wizard in più passaggi sono gli esempi della fonte.
L'obiettivo è una specifica del comportamento verificabile con test. Ogni stato richiede una rappresentazione definita nell'interfaccia. Gli stati non terminali devono avere una via di uscita e le combinazioni non valide vanno individuate prima dell'implementazione. La fonte non sceglie una libreria state-machine né afferma di generare automaticamente una prova esaustiva.
Risultati attesi
- Un inventario di stati ed eventi per un singolo aspetto specifico.
- Una mappa delle transizioni con guard e azioni di ingresso o di uscita.
- Casi di errore, ripristino e stati impossibili da sottoporre a revisione.
Dal brief alla revisione
- 01Elenca stati ed eventi
Dai un nome alle modalità significative e a ogni trigger che può cambiarle, partendo dal percorso ideale.
- 02Definisci le transizioni valide
Specifica destinazioni, condizioni ed effetti collaterali. Individua le combinazioni che il design deve impedire.
- 03Aggiungi ripristino e mappatura sull'interfaccia
Modella errori, nuovi tentativi, annullamenti e uscite; mostra come appare l'interfaccia in ogni stato.