Softwarové a hardwarové systémy obsahují chyby.Jednou z důležitých technik k detekci poruch je testování.S rozšířením vývoje založeného na modelu se modely staly také důležitými pro testování.Při testování založeném na modelu se testovací modely používají k automatickému generování testovacích sad (polo-).Ačkoli je technika modelového testování stará několik let, stále existuje prostor pro zlepšení.Například většina komerčních modelových nástrojů neposkytuje adekvátní podporu testů pro typy lineárního uspořádání.Kritéria pokrytí se používají jako prostředky k měření schopnosti detekce chyb v testovacích soupravách.Přístup ParTeG je kombinovat splnění kritérií pokrytí založených na kontrolním toku (např. MC / DC) a kritérií pokrytí na základě hranic (např. Vícerozměrná).Tento přístup klade důraz na automatické generování hranic vstupních oddílů z podmínek v modelech.Lze to také chápat jako transformaci výstupních diskových oddílů na křížový produkt vstupních diskových oddílů a abstraktních cest státním strojem....