Dovrei progettare i test per il software della macchina di stato. Ho coperto tutti gli stati e tutte le transizioni. L'ultimo passaggio consiste nel rilevare gli stati nascosti (stati che sembrano uguali ma internamente potrebbero essere diversi, ad esempio buffer overflown) utilizzando i test progettati con il set di caratteri W . Non ho idea di come determinare la profondità " k " e derivare il set. La ricerca non ha portato alcun aiuto, solo una spiegazione generica.