نرم افزارها و سیستمهای سخت افزاری حاوی خطا هستند.یکی از تکنیک های مهم برای تشخیص خطا ، آزمایش است.با گسترش توسعه مبتنی بر مدل ، مدل ها برای آزمایش نیز مهم شدند.در آزمایش مبتنی بر مدل ، از مدل های آزمایش برای تولید خودکار مجموعه های تست (نیمه) استفاده می شود.اگرچه تکنیک آزمایش مبتنی بر مدل چند ساله است ، اما هنوز هم جایی برای پیشرفت وجود دارد.به عنوان مثال ، اکثر ابزارهای مدل سازی تجاری ، پشتیبانی آزمایش کافی را برای انواع سفارش داده شده خطی ارائه نمی دهند.از معیارهای پوشش به عنوان ابزاری برای سنجش توانایی تشخیص عیب سوئیت های تست استفاده می شود.رویکرد ParTeG ترکیب رضایت از معیارهای کنترل مبتنی بر جریان کنترل (به عنوان مثال ، MC / DC) و معیارهای پوشش مبتنی بر مرز (به عنوان مثال ، چند بعدی) است.این رویکرد باعث ایجاد تمرکز بر روی تولید خودکار مرزهای پارتیشن ورودی از شرایط موجود در مدلها می شود.همچنین می توان آن را به عنوان تبدیل پارتیشن های خروجی به یک محصول متقاطع از پارتیشن های ورودی و مسیرهای انتزاعی از طریق دستگاه دولت درک کرد....