已经证明, 每一个课都被严格列入下一个. 例如, 当我们假设在测试中执行的行为可以由一个确定的有限状态机器为一些已知的有限的输入和输出, 以及一些已知的国家属于第一类(和所有随后的课程)时, 测试... 但是, 如果不知道国家的数量, 那么它只属于第二类的所有班级. 如果测试中的执行必须是一个确定的有限国家机器, 如果没有一个追踪(及其延续)的规格, 它的国家数量是未知的, 那么它只属于第 三 级的课程. 测试时间机器, 如果输入是在一些真正有界的间隔内产生的, 就属于第四类的课程, 而测试许多非确定系统只属于第五类(但不是所有, 有些甚至属于第一类)... 列入类我并不需要假设计算模型的简单, 因为一些测试的案例涉及在任何编程语言中写的实现, 以及根据持续的震级定义作为机器的测试实现, 已被证明是第一类. 其他详细的案例, 如马修·轩尼诗在必须的语义下的测试框架, 和合理超时的时间机器, 属于第二类.
有三个课, 已经完成了什么, 并证明了所有课程?
每 一 个 课 都 被 严格 列 入 下 一 个