Nó đã được chứng_minh rằng mỗi lớp được bao_gồm nghiêm_ngặt vào bước tiếp_theo .Chẳng_hạn , việc kiểm_tra khi chúng_ta giả_sử rằng hành_vi của việc thực_hiện được kiểm_tra có_thể được biểu_thị bằng một máy trạng_thái hữu_hạn xác_định đối_với một_số bộ đầu vào và đầu_ra hữu_hạn đã biết và với một_số trạng_thái đã biết thuộc về lớp I ( và tất_cả các lớp tiếp_theo ) .Tuy_nhiên , nếu số_lượng trạng_thái không được biết đến , thì nó chỉ thuộc về tất_cả các lớp từ lớp II trở đi .Nếu việc thực_hiện theo thử_nghiệm phải là một máy trạng_thái hữu_hạn xác_định không thành_công đặc_điểm kỹ_thuật cho một dấu_vết duy_nhất ( và các tiếp_tục của nó ) và số_lượng trạng_thái của nó vẫn chưa được biết , thì nó chỉ thuộc về các lớp từ lớp III trở đi .Kiểm_tra các máy thời_gian trong đó các chuyển_đổi được kích_hoạt nếu đầu vào được tạo ra trong một_số khoảng giới_hạn thực chỉ thuộc về các lớp từ lớp IV trở đi , trong khi thử_nghiệm nhiều hệ_thống không xác_định chỉ thuộc về lớp V ( nhưng không phải tất_cả ) .Việc đưa vào lớp I không yêu_cầu tính đơn_giản của mô_hình tính_toán giả_định , vì một_số trường_hợp thử_nghiệm liên_quan đến việc triển_khai được viết bằng bất_kỳ ngôn_ngữ_lập_trình nào và các triển_khai thử_nghiệm được định_nghĩa là máy_móc tuỳ_thuộc vào cường_độ liên_tục , đã được chứng_minh là ở lớp I. Các trường_hợp , chẳng_hạn như khung thử_nghiệm của Matthew_Hennessy theo phải ngữ_nghĩa và các máy tạm_thời với thời_gian chờ hợp_lý , thuộc loại II .
Có ba lớp , những gì đã được kết_luận và chứng_minh cho tất_cả các lớp ?
Mỗi lớp được bao_gồm nghiêm_ngặt vào bước tiếp_theo