Software- und Hardwaresysteme enthalten Fehler.Eine wichtige Technik zum Erkennen von Fehlern ist das Testen.Mit der Verbreitung der modellbasierten Entwicklung wurden Modelle auch für das Testen wichtig.Beim modellbasierten Testen werden Testmodelle verwendet, um Testsuiten (halb-) automatisch zu generieren.Obwohl die Technik des modellbasierten Testens einige Jahre alt ist, gibt es immer noch Raum für Verbesserungen.Beispielsweise bieten die meisten kommerziellen Modellierungswerkzeuge keine ausreichende Testunterstützung für linear geordnete Typen.Abdeckungskriterien werden als Mittel zur Messung der Fehlererkennungsfähigkeit von Testsuiten verwendet.Der Ansatz von ParTeG besteht darin, die Erfüllung von Kontrollfluss-basierten Abdeckungskriterien (z. B. MC / DC) und grenzwertbasierten Abdeckungskriterien (z. B. mehrdimensional) zu kombinieren.Dieser Ansatz konzentriert sich auf die automatische Generierung von Eingabepartitionsgrenzen aus Bedingungen in Modellen.Es kann auch als Transformation von Ausgabepartitionen in ein Kreuzprodukt von Eingabepartitionen und abstrakten Pfaden durch die Zustandsmaschine verstanden werden....