...
Det at det ikke er noen transisjoner fra den siste tilstanden, kan bety at alle kall til count(int) er ulovlige og utløser unntak, og utløsing av unntak er også oppførsel det er viktig å teste at er korrekt implementert. Imidlertid har JUnit svak støtte for testing av unntak, så derfor kan det være greit å lese litt om testing av unntak med JUnit.