Oprogramowanie i systemy sprzętowe zawierają usterki.Jedną z ważnych technik wykrywania usterek jest testowanie.Wraz z rozpowszechnieniem się rozwoju opartego na modelach, modele stały się również ważne do testowania.W testach opartych na modelach modele testowe są używane do automatycznego generowania pakietów testowych (pół).Chociaż technika testowania opartego na modelach ma już kilka lat, wciąż jest miejsce na ulepszenia.Na przykład większość komercyjnych narzędzi do modelowania nie zapewnia odpowiedniego wsparcia testowego dla uporządkowanych liniowo typów.Kryteria zasięgu są stosowane jako środki do pomiaru zdolności wykrywania uszkodzeń zestawów testowych.Podejście ParTeG polega na połączeniu spełnienia kryteriów pokrycia opartych na przepływie sterowania (np. MC / DC) i kryteriów pokrycia opartych na granicach (np. Wielowymiarowy).Podejście to kładzie nacisk na automatyczne generowanie granic partycji wejściowych na podstawie warunków w modelach.Można to również rozumieć jako przekształcenie partycji wyjściowych w produkt krzyżowy partycji wejściowych i ścieżek abstrakcyjnych przez maszynę stanu....