وقد ثبت ان كل فئة يتم ادراجها بدقة في الفصل التالي. على سبيل المثال, الاختبار عندما تفترض ان سلوك التنفيذ تحت الاختبار يمكن ان يشير اليه بواسطة الة ولاية محدودة بالنسبة لبعض المجموعات المحدودة المعروفة من المدخلات والمنتجات, ومع عدد معروف من الدول تنتمي الى الفئة الاولى (وجميع الطبقات التالية).. ومع ذلك, اذا لم يكن عدد الدول غير معروف, فانها تنتمي فقط الى جميع الطبقات من الصف الثاني. واذا كان التنفيذ تحت الاختبار يجب ان يكون الة دولة محدودة لا يمكن ان تكون في المواصفات لتتبع واحد (وهاها), وعدد الدول غير معروف, فانها لا تنتمي الا الى فئات من الصف الثالث على. اختبار الالات الزمنية التي يتم فيها الانتقال اذا تم انتاج المدخلات في بعض الفترة المحددة الحقيقية تنتمي فقط الى فصول من الصف الرابع على, في حين ان اختبار العديد من الانظمة غير المحددة تنتمي فقط الى الصف الخامس (ولكن ليس كلها, وبعضها تنتمي الى الصف الاول).. لا يتطلب الاندماج في الصف الاول بساطة نموذج الحساب المفترض, لان بعض حالات الاختبار التي تتضمن تطبيقات مكتوبة في اي لغة البرمجة, وتنفيذ الاختبار التي تعرف بوصفها الات اعتمادا على الحجم المستمر, قد ثبت انها في الصف الاول. حالات اخرى مفصلة, مثل اطار الاختبار من قبل ماثيو هينيسي تحت دلالات يجب ان تكون, والالات الزمني مع مهلة العقلاني, تنتمي الى الصف الثاني.
اذا كان عدد الدول غير معروف, ما هي المجموعة التي تقع فيها هذه?
الصف الثاني