Softverski i hardverski sustavi sadrže pogreške.Jedna od važnih tehnika za otkrivanje kvarova je testiranje.S širenjem razvoja temeljenog na modelima, modeli su postali važni i za testiranje.U ispitivanju na temelju modela koriste se testni modeli za automatsko generiranje testnih skupova.Iako je tehnika ispitivanja temeljenog na modelima stara nekoliko godina, još uvijek ima prostora za poboljšanja.Na primjer, većina komercijalnih alata za modeliranje ne pruža odgovarajuću testnu podršku za linearno naručene tipove.Kriteriji pokrivenosti koriste se kao način za mjerenje sposobnosti otkrivanja kvarova u testnim apartmanima.Pristup ParTeG-a je kombiniranje zadovoljstva kriterija pokrivanja temeljenih na protoku (npr. MC / DC) i kriterija pokrivanja na osnovi granica (npr. Multidimenzionalno).Ovaj pristup stavlja fokus na automatsko generiranje granica ulaznih particija iz uvjeta u modelima.Može se shvatiti i kao transformacija izlaznih particija u umreženi proizvod ulaznih particija i apstraktnih putova kroz državni stroj....