Софтуерните и хардуерните системи съдържат неизправности.Една важна техника за откриване на неизправности е тестване.С разпространението на базираната на модела разработка, моделите също станаха важни за тестване.При моделно тестване тестовите модели се използват за генериране на тестови пакети (полу-) автоматично.Въпреки че техниката на моделно тестване е на няколко години, все още има място за подобрения.Например, повечето инструменти за комерсиално моделиране не предоставят адекватна тестова поддръжка за линейни подредени типове.Критериите за покритие се използват като средство за измерване на способността за откриване на неизправности в тестовите комплекти.Подходът на ParTeG е да комбинира удовлетворяването на критериите за покритие на базата на контролния поток (напр. MC / DC) и критериите за покритие на базата на границите (например, многоизмерни).Този подход поставя фокуса върху автоматичното генериране на границите на входния дял от условията в моделите.Тя може да бъде разбрана и като трансформация на изходните дялове в напречен продукт от входни дялове и абстрактни пътища през държавната машина....