Ha az állapotgép összetett állapotot is tartalmaz, a tesztelésnél az állapotlefedettséget hogyan kell kiszámolni? Az összes állapotba bele kell számolni magát az összetett állapotot, vagy csak azokat, amik a régióikban vannak benne?
Hasonló: állapotátmenetnek számít a fekete korongból (nem adtak neki nevet, de kb. "state begin") kiinduló nyilak? Konkrétan a fekete korongból egy döntésbe vezet egy nyíl, ennek két ága 1-1 állapotba vezet, tehát két kezdőállapot is lehetne, de én úgy értelmezem, hogy az állapotátmenet két állapot között van értelmezve, a fekete korong meg nyilván nem állapot.