Es wurde bewiesen, dass jede Klasse streng in die nächste aufgenommen wird. Zum Beispiel testen wir, wenn wir davon ausgehen, dass das Verhalten der Umsetzung im Test von einer deterministische endlichen-staatlichen Maschine für einige bekannte endliche Sets von Inputs und Outputs gekennzeichnet werden kann und mit einigen bekannten Staaten gehört der Klasse I (und alle anschließenden Klassen). Wenn die Anzahl der Staaten jedoch nicht bekannt ist, dann gehört sie nur allen Klassen aus der Klasse II an. Wenn die Umsetzung im Test eine deterministische endliche-Maschine sein muss, die die Spezifikation für eine einzige Spur (und ihre Fortsetzungen) versagt, und ihre Anzahl der Staaten unbekannt ist, dann gehört sie nur zu den Klassen von Klasse III auf. testen Maschinen, in denen die Übergänge ausgelöst werden, wenn die Eingänge innerhalb eines echten begrenzt hergestellt werden, gehört nur zu Klassen aus der Klasse IV, während die Prüfung vieler nicht-deterministische Systeme nur zur Klasse V gehört (aber nicht alle, und einige gehören sogar zur Klasse I). Die Aufnahme in die Klasse I erfordert nicht die Einfachheit des angenommenen Berechnung, da einige Tests mit Implementierungen, die in jeder Programmiersprache geschrieben wurden, und Tests, die als Maschinen, abhängig von kontinuierlicher Größe definiert werden, in der Klasse I gezeigt wurden. Andere ausgearbeitet Fälle, wie der testen von Matthäus Hennessy unter muss Semantik, und zeitlichen Maschinen mit rationalen Timeouts, gehören zur Klasse II.
Wenn die Anzahl der Staaten unbekannt ist und der endliche Zustand der Maschine für eine einzige Spur versagt, in welche Gruppe fällt das ein?
Klasse III