Program- och hårdvarusystem innehåller fel.En viktig teknik för att upptäcka fel är testning.Med spridningen av modellbaserad utveckling blev modeller också viktiga för testning.Vid modellbaserad testning används testmodeller för att generera testsviter (semi-) automatiskt.Även om tekniken för modellbaserad testning är några år gammal, finns det fortfarande utrymme för förbättringar.Till exempel ger de flesta kommersiella modelleringsverktyg inte tillräckligt teststöd för linjära beställda typer.Täckningskriterierna används som medel för att mäta felsökningsförmågan hos testsviterna.ParTeGs strategi är att kombinera tillfredsställelsen av kontrollflödesbaserade täckningskriterier (t.ex. MC / DC) och gränsbaserade täckningskriterier (t.ex. Multi-Dimensional).Detta tillvägagångssätt sätter fokus på automatisk generering av ingångspartitionsgränser från villkor i modeller.Det kan också förstås som en omvandling av outputpartitioner till en korsprodukt av inputpartitioner och abstrakta vägar genom tillståndsmaskinen....