Telah terbukti bahwa setiap kelas diikutsertakan secara ketat ke kelas berikutnya. Sebagai contoh, pengujian ketika kita berasumsi bahwa perilaku implementasi di bawah tes dapat diartikan oleh sebuah mesin deterministik negara terbatas untuk beberapa set terbatas masukan dan output dan dengan beberapa angka diketahui milik Kelas I (dan semua kelas berikutnya). Namun, jika jumlah negara tidak diketahui, maka itu hanya milik semua kelas dari Kelas II pada. Jika implementasi di bawah tes harus menjadi mesin deterministik terbatas gagal spesifikasi untuk satu jejak (dan kelanjutan), dan jumlah negara tidak diketahui, maka itu hanya milik kelas dari Kelas III pada. Menguji mesin sementara di mana transisi dipicu jika masukan diproduksi dalam beberapa interval nyata hanya milik kelas dari Kelas IV pada, sedangkan pengujian banyak sistem non-teteristik hanya milik Kelas V (tetapi tidak semua, dan beberapa bahkan milik Kelas I). Inklusi ke dalam Kelas Saya tidak memerlukan kesederhanaan dari model komputasi yang diasumsikan, sebagai beberapa kasus pengujian yang melibatkan implementasi yang ditulis dalam bahasa pemrograman, dan pengujian implementasi didefinisikan sebagai mesin tergantung pada besarnya terus-menerus, telah terbukti berada di Kelas I. Kasus lain rumit, seperti kerangka pengujian oleh Matthew Hennessy di bawah harus semantik, dan mesin temporal dengan timeout rasional, milik Kelas II.
Matthew Hennessy menulis apa?
kerangka pengujian