Softvérové ​​a hardvérové ​​systémy obsahujú poruchy.Jednou z dôležitých techník na zisťovanie porúch je testovanie.S rozšírením vývoja založeného na modeloch sa modely stali tiež dôležitými pre testovanie.Pri testovaní podľa modelu sa testovacie modely používajú na automatické generovanie testovacích súborov (čiastočne).Aj keď technika testovania na základe modelu je stará niekoľko rokov, stále existuje priestor na zlepšenie.Napríklad väčšina komerčných modelovacích nástrojov neposkytuje adekvátnu podporu testovania pre typy s lineárnym usporiadaním.Kritériá pokrytia sa používajú ako prostriedky na meranie schopnosti zisťovania porúch v skúšobných súpravách.Prístup ParTeG je kombinovať splnenie kritérií pokrytia založených na riadení toku (napr. MC / DC) a hraničných kritérií pokrytia (napr. Viacrozmerné).Tento prístup sa zameriava na automatické generovanie hraníc vstupných oddielov z podmienok v modeloch.Dá sa to tiež chápať ako transformácia výstupných oddielov na krížový produkt vstupných oddielov a abstraktných ciest cez štátny stroj....