Se ha demostrado que cada clase está estrictamente incluida en la siguiente. Por ejemplo, las pruebas cuando asumimos que el comportamiento de la aplicación bajo prueba puede ser denota por una máquina de estado finito determinista para algunos conjuntos finitos conocidos de entradas y salidas y con algún número conocido de estados pertenece a la clase i (y todas las clases posteriores). Sin embargo, si el número de estados no se conoce, entonces sólo pertenece a todas las clases de la clase ii. Si la aplicación bajo prueba debe ser una máquina de estado finito determinista que falla la especificación de un solo rastro (y sus continuaciones), y su número de estados es desconocido, entonces sólo pertenece a las clases de Clase III en. Probando máquinas temporales donde se desencadena transiciones si se producen insumos dentro de algún intervalo real-limitado sólo pertenece a clases de clase iv on, mientras que probar muchos sistemas no determinista sólo pertenece a clase v (pero no todos, y algunos incluso pertenecen a la clase i). la inclusión en clase i no requiere la simplicidad del modelo de cómputo asumido, ya que algunos casos de pruebas que implican implementaciones escritas en cualquier idioma de programación, y las implementaciones de pruebas definidas como máquinas dependiendo de magnitudes continuas, se han demostrado que están en la clase i. otros casos elaborados, como el marco de pruebas de Matthew Hennessy bajo la semántica, y las máquinas temporales con castigos racionales, pertenecen a la clase ii.
Hay tres clases, qué se ha concluido y probado para todas las clases?
cada clase está estrictamente incluida en el siguiente