برامج وأنظمة الأجهزة تحتوي على أخطاء.أحد الأساليب المهمة للكشف عن الأخطاء هو الاختبار.مع انتشار التطور القائم على النماذج ، أصبحت النماذج مهمة أيضًا للاختبار.في الاختبار القائم على النموذج ، تُستخدم نماذج الاختبار لإنشاء مجموعات اختبار (شبه) تلقائيًا.على الرغم من أن تقنية الاختبار المستند إلى النماذج قديمة بعض الشيء ، فلا يزال هناك مجال للتحسينات.على سبيل المثال ، لا توفر معظم أدوات النمذجة التجارية دعما كافيا للاختبار للأنواع الخطية المرتبة.تستخدم معايير التغطية كوسيلة لقياس قدرة اكتشاف الأخطاء في أجنحة الاختبار.تتمثل مقاربة ParTeG في الجمع بين تلبية معايير التغطية القائمة على التدفق (مثل ، MC / DC) ومعايير التغطية القائمة على الحدود (على سبيل المثال ، متعدد الأبعاد).يضع هذا النهج التركيز على الإنشاء التلقائي لحدود قسم الإدخال من الشروط في النماذج.يمكن فهمه أيضًا على أنه تحويل أقسام الإخراج إلى منتج عرضي لأقسام الإدخال والمسارات المجردة عبر آلة الحالة....