Software og hardwaresystemer indeholder fejl.En vigtig teknik til at opdage fejl er testning.Med spredningen af ​​modelbaseret udvikling blev modeller også vigtige til testning.I modelbaseret test bruges testmodeller til automatisk at generere testsuiter (semi-).Selvom teknikken til modelbaseret test er nogle år gammel, er der stadig plads til forbedringer.F.eks. Giver de fleste kommercielle modelleringsværktøjer ikke tilstrækkelig teststøtte til lineære bestilte typer.Dækningskriterierne bruges som måling til at måle fejlsøgningsevnen hos testsuiter.ParTeG's tilgang er at kombinere tilfredsheden med kontrolstrømbaserede dækningskriterier (f.eks. MC / DC) og grænsebaserede dækningskriterier (f.eks. Multidimensional).Denne tilgang sætter fokus på automatisk generering af inputpartitionsgrænser fra forhold i modeller.Det kan også forstås som en transformation af outputpartitioner til et tværprodukt af inputpartitioner og abstrakte stier gennem tilstandsmaskinen....