事实证明，每一个班都严格地归入下一个班。例如，当我们假设被测实现的行为可以由一个确定性的有限状态机来表示时，对于一些已知的有限输入和输出集以及一些已知数量的状态，测试属于I类（以及所有后续类）。但是，如果不知道状态的数目，那么它只属于从类II开始的所有类。如果测试的实现必须是一个确定性的有限状态机，不能满足对单个跟踪（及其连续性）的规范，并且其状态数未知，那么它只属于类III中的类。当输入在某个有界区间内产生时，测试触发转换的时态机器只属于IV类，而测试许多非确定性系统只属于V类（但不是全部，有些甚至属于I类）。包含到类I中不需要假定计算模型的简单性，因为一些测试用例涉及用任何编程语言编写的实现，并且测试实现定义为依赖于连续数量的机器，已经被证明在类I中。其他详细说明的案例，比如Matthew Hennessy在must语义下的测试框架，以及带有理性超时的时间机器，都属于第二类。
要被纳入我的课堂需要什么？