Yazılım ve donanım sistemleri arıza içerir.Arızaları tespit etmek için önemli bir teknik testtir.Model tabanlı geliştirmenin yaygınlaşmasıyla birlikte, modeller test için de önemli hale geldi.Model tabanlı testlerde, test modelleri otomatik olarak test paketleri (yarı) oluşturmak için kullanılır.Model tabanlı test tekniği birkaç yaşında olmasına rağmen, hala iyileştirmeler için yer vardır.Örneğin, çoğu ticari modelleme aracı doğrusal sıralı tipler için yeterli test desteği sağlamaz.Kapsam kriterleri, test paketlerinin arıza tespit yeteneğini ölçmek için bir araç olarak kullanılır.ParTeG'nin yaklaşımı, kontrol akışına dayalı kapsama kriterlerinin (ör. MC / DC) ve sınır tabanlı kapsama kriterlerinin (örn. Çok Boyutlu) memnuniyetini birleştirmektir.Bu yaklaşım, modellerdeki koşullardan otomatik olarak giriş bölümü sınırlarının oluşturulmasına odaklanır.Çıktı bölümlerinin, durum makinesinin giriş bölümlerinin ve soyut yollarının çapraz ürününe dönüştürülmesi olarak da anlaşılabilir....