<s>[INST]Üç sınıf var, tüm sınıflar için neyin sonuçlandırıldığı ve kanıtlandığı?[/INST]Her bir sınıfın bir sonrakine kesinlikle dahil edildiği olduğu kanıtlanmıştır. Örneğin, test edilen uygulamanın davranışının bazı bilinen sonlu girdi ve çıktı kümeleri için belirli bir sonlu durumlu makine tarafından gösterilebileceğini ve bazı bilinen sayıda durumla Sınıf I'e (ve sonraki tüm sınıflara ait olduğunu varsayalım) test etme ). Bununla birlikte, eğer eyalet sayısı bilinmiyorsa, o zaman sadece II. Sınıftan itibaren bütün sınıflara aittir. Test edilen uygulamanın tek bir iz için (ve devamları) spesifikasyonda başarısız olan deterministik bir sonlu durumlu makine olması gerekiyorsa ve durum sayısı bilinmiyorsa, o zaman sadece Sınıf III'den itibaren olan sınıflara aittir. Girdilerin bazı gerçek sınırlanmış aralıklarda üretilmesi durumunda geçişlerin tetiklendiği geçici makineleri test etmek yalnızca Sınıf IV'ten itibaren olan sınıflara aittir, bazı deterministik olmayan sistemleri test etmek yalnızca Sınıf V'e aittir (hepsi değil, hatta bazıları Sınıf I'e aittir. ). I Sınıfına dahil edilmesinin, herhangi bir programlama dilinde yazılmış uygulamaları içeren bazı test durumlarının ve sürekli büyüklüklere bağlı olarak makine olarak tanımlanan test uygulamalarının I Sınıfında olduğu kanıtlanmış olduğundan, varsayılan hesaplama modelinin basitliğini gerektirmez. Matematiğin altında Matthew Hennessy tarafından yapılan test çerçevesi gibi durumlar ve rasyonel zaman aşımına sahip geçici makineler, Sınıf II'ye aittir.</s>