Programska in strojna oprema vsebuje napake.Ena pomembnih tehnik za odkrivanje napak je testiranje.S širjenjem razvoja na osnovi modelov so postali modeli pomembni tudi za testiranje.V modelnem testiranju se testni modeli uporabljajo za samodejno ustvarjanje (pol) testnih paket.Čeprav je tehnika testiranja na osnovi modelov stara že nekaj let, še vedno obstaja prostor za izboljšave.Na primer, večina komercialnih orodij za modeliranje ne nudi ustrezne preskusne podpore za linearno urejene tipe.Kriteriji za pokritost se uporabljajo kot sredstva za merjenje sposobnosti odkrivanja napak v testnih kompletih.Pristop ParTeG je združiti zadovoljenost kriterijev pokritosti, ki temeljijo na nadzornem toku (npr. MC / DC) in merila pokritosti na meji (npr. Večdimenzionalno).Ta pristop osredotoča na samodejno ustvarjanje meja vhodnih particij iz pogojev v modelih.Lahko ga razumemo tudi kot preoblikovanje izhodnih particij v navzkrižni produkt vhodnih particij in abstraktnih poti državnega stroja....