imported>Sascindler: Aktuelle Versionierung geändert

2026-04-28T11:33:57Z

Aktuelle Versionierung geändert

Neue Seite

{{Infobox Software
|Name = Time Partition Testing (TPT)
|Logo = [[Datei:TPT Logo.png|100px]]
|Screenshot =
|Beschreibung =
|Maintainer =
|Hersteller = Synopsys Inc.
|Erscheinungsjahr =
|AktuelleVersion = 2025.09<ref>siehe Herstellerseite: https://www.synopsys.com/verification/virtual-prototyping/tpt/latest-release.html</ref>
|AktuelleVersionFreigabeDatum = September 2025
|AktuelleVorabVersion =
|AktuelleVorabVersionFreigabeDatum =
|Betriebssystem = [[Windows]]
|Programmiersprache =
|Kategorie = [[Softwaretest]]
|Lizenz = [[proprietär]]
|Deutsch = nein
|Website = [https://www.synopsys.com/verification/virtual-prototyping/tpt.html TPT Webpräsenz]
|Dateien =
}}

'''TPT''' (''Time Partition Testing'') ist eine Methode und ein [[Software]]-[[Werkzeug]] der Firma [[PikeTec]] für den [[Testautomatisierung|automatisierten]] [[Softwaretest]] oder die Software[[verifikation]] [[Eingebettetes System|eingebetteter Systeme]]. Meist werden eingebettete Systeme mit Hilfe von [[Skriptsprache|Testskripten]] getestet – bei TPT werden Testfälle grafisch modelliert. TPT ist ein [[Modellbasiertes Testen|modellbasiertes Testwerkzeug]] für den [[Modultest]], [[Integrationstest]], [[Systemtest]] und [[Regressionstest]]. TPT unterstützt unter anderem auch Tests von [[Regelungstechnik|Regelungssystemen]] und Systemen mit kontinuierlichem Verhalten ([[Echtzeitsystem]]e, die mit ihrer Umgebung physikalische Werte bzw. Signale austauschen, die in einem Zeitraster zeitdiskret empfangen oder versandt werden). Die meisten Steuerungs- und Regelungssysteme gehören zu dieser Systemklasse.

TPT umfasst die folgenden Aufgabenbereiche:
* manuelle oder automatische Testfallmodellierung,
* Testdurchführung (vollautomatisch) auf verschiedenen Plattformen mit z. B. [[Matlab]]/[[Simulink]], [[ASCET]], [[TargetLink]], [[C-Code]] oder unter Nutzung von Kommunikationsstandards wie [[Controller Area Network|CAN]]
* Testauswertung (vollautomatisch)
* [[Software Test Documentation|Testdokumentation]] (vollautomatisch)
* Test Management
* Nachverfolgbarkeit von [[Anforderungsmanagement|Anforderungen]] und Testfällen, Testdurchführungen und Testresultaten

[[Datei:TPT modelled test case.png|mini|Grafische Testfallmodellierung]]

[[Datei:TPT test description.png|mini|Testbeschreibung mit Hybriden Automaten]]

== Reaktive Tests ==
Mit TPT kann jeder Testfall während des Testablaufs gezielt auf das Systemverhalten reagieren, um beispielsweise genau bei Eintreten eines bestimmten Zustands eingreifen und weitere, testrelevante Systemzustände provozieren zu können. Soll beispielsweise für eine [[Motorsteuerung]] bei Überschreiten der [[Leerlauf]]drehzahl ein Sensorausfall simuliert werden, um das Verhalten der Motorsteuerung bei dieser Situation zu testen, muss in der Beschreibung des Testfalls auf das Ereignis „Leerlaufdrehzahl überschritten“ reagiert werden können.

Die Reaktivität zusammen mit der Echtzeitfähigkeit der Testausführung erlaubt die Programmierung von zeitdiskreten [[Dynamisches System|dynamischen Systemen]] wie beispielsweise die Implementierung von [[Filter (Elektrotechnik)|Filterfunktionen]] und [[Regler|Regelalgorithmen]] mit TPT.

== Grafische Testfallmodellierung ==
Der Ablauf von Testfällen wird bei TPT grafisch mit Hilfe spezieller [[Automat (Informatik)|Zustandsautomaten]] oder [[Zustandsübergangsdiagramm]]e modelliert. Diese Beschreibungstechnik für Testfälle ist für das Einsatzfeld eingebetteter Systeme besonders naheliegend, weil Testfälle immer aus einzelnen, zeitlich aufeinander folgenden Schritten bestehen. Die Testfälle sind dadurch intuitiv lesbar, auch wenn sie sehr komplex sind.

[[Datei:TPT test step list (2).png|mini|Test Step List Beispiel]]
=== Einfache Sequenzen (Test-Step-Listen) ===
Einfache Abfolgen von Testschritten, die nicht parallel abgearbeitet werden sollen wie beispielsweise Signal setzen (set channel), Signalrampe (ramp channel), Parameter setzen (set parameter), Warten (wait) können mit Testschritten einfach modelliert werden. In die Sequenzen können Abfragen für das erwartete Testergebnis zur Testbewertung als Test[[orakel]] eingefügt werden. Wenn Automatenzustände, die wiederum Automaten oder Sequenzen enthalten, eingefügt werden, entstehen hierarchische StepListen. Die Testsequenzen können auch mit anderen Modellierungsmethoden kombiniert und parallelisiert werden.

[[Datei:TPT direct definition.png|mini|Direct Definition Beispiel]]

=== Direkte Signaldefinition (Direct Definitions) ===
In den „Test-Step-Listen“ sind sogenannte „Direct Definitions“ möglich. Signale werden in dieser Modellierungsform als Funktionen der Zeit, der Vergangenheit und anderer Signale definiert. Die Definition von Formeln in „[[C (Programmiersprache)|C]]-Ähnlicher“ Notation ist neben dem Import von Messdaten oder einem manuellen Signaleditor möglich.

=== Funktionen ===
Es ist möglich, [[Funktion (Programmierung)|Funktionen]] zu definieren, die als [[Client]] oder [[Server]] agieren. Clientfunktionen werden aus TPT im zu testenden System aufgerufen, wobei Serverfunktionen in TPT implementiert als sogenannte [[Stub (Programmierung)|Stub]]-funktionen aus dem zu testenden System aufgerufen werden können. TPT kann die Serverfunktionen auch selbst aufrufen.

== Systematische Testfälle ==
TPT wurde speziell für den Test des kontinuierlichen und reaktiven Verhaltens eingebetteter Systeme entwickelt. Selbst für sehr komplexe Systeme, deren gründlicher Test eine große Menge an Testfällen erfordert, gewährleistet TPT durch sein systematisches Vorgehen bei der Testfallermittlung den Überblick und ermöglicht es so, Schwachstellen im zu testenden System mit einer optimalen Menge von Testfällen aufzudecken.
Die zugrunde liegende Idee der Systematik von TPT ist die Separierung von Gemeinsamkeiten und Unterschieden zwischen den Testfällen: Die meisten Testfälle sind einander in ihrem strukturellen Ablauf sehr ähnlich und unterscheiden sich „nur“ in wenigen, aber entscheidenden Details. TPT macht sich diese Tatsache zunutze, indem gemeinsame Strukturen auch gemeinsam modelliert und genutzt werden. Dadurch werden zum einen Redundanzen vermieden. Zum anderen wird sehr klar herausgestellt, worin sich die Testfälle tatsächlich unterscheiden – das heißt, welche spezifischen Aspekte sie jeweils testen. Durch diesen Ansatz wird die Vergleichbarkeit der Testfälle und damit die Übersicht deutlich verbessert und das Hauptaugenmerk des Testers auf das Wesentliche – die differenzierenden Merkmale der Testfälle – gelenkt.
Durch die hierarchische Struktur der Testfälle lassen sich komplexe Testprobleme in Teilprobleme zerlegen, was die Übersichtlichkeit und dadurch die Qualität des Tests ebenfalls verbessert.
Mit diesen Modellierungstechniken wird der Tester dabei unterstützt, die tatsächlich relevanten Fälle zu finden, Redundanzen zu vermeiden und selbst bei einer großen Menge an Testfällen den Überblick zu bewahren.

[[Datei:TPT Dashboard example.jpg|mini|Interaktion mit dem Test über den Dashboard]]

=== Automatische Testfallgenerierung ===
TPT beinhaltet verschiedene Möglichkeiten zur automatischen Testfallgenerierung:
* Testfälle zur Abdeckung von [[Äquivalenzklasse]]n
* Testfälle zur Abdeckung von [[Simulink]]-Modellen oder [[C-Code]] mittels statischer Analysen und suchbasierter Verfahren (TASMO)<ref>Benjamin Wilmes: ''Hybrides Testverfahren für Simulink/TargetLink-Modelle'', Dissertation, TU-Berlin, Germany, 2015. [https://opus4.kobv.de/opus4-tuberlin/frontdoor/index/index/docId/6377]</ref>
* [[Folge (Mathematik)|Sequenzbildung]] von Varianten von Zuständen im Testmodell
* Testfälle aus Aufzeichnungen von Interaktionen mit dem SUT über eine grafische Benutzerschnittstelle (Dashboard)

== Testausführung ==
TPT-Testfälle sind unabhängig von ihrer Ausführung. Die Testfälle sind mittels einer sogenannten [[Virtuelle Maschine|Virtuellen Maschine]] (TPT-VM) quasi auf jeder Plattform automatisch und wenn nötig in [[Echtzeitsystem|Echtzeit]] ausführbar. Für die TPT-VM gibt es [[Programmierschnittstelle]]n (API) für [[C (Programmiersprache)|C]] und das [[.Net-Framework]]. Die Ausführung kann manuell, im Batchmodus oder auf einem [[Jenkins (Software)|Jenkins]] Server erfolgen.

Beispiele für die Anwendung sind [[Model in the Loop]] (MiL) mit [[Matlab]]/[[Simulink]], [[TargetLink]] oder [[ASCET]], [[C (Programmiersprache)|C-Programmen]], [[Controller Area Network|CAN]], [[CANape]], [[CANoe]], [[AUTOSAR]]-Komponenten<ref>Jens Lüdemann: ''AUTOSAR-Komponententest mit TPT'', In: ''2. Elektronik automotive congress'' in Ludwigsburg, Germany, 2010. [http://www.piketec.com/downloads/papers/Luedemann-2010-AUTOSAR-testing-using-TPT.pdf PDF-Artikel]</ref>, [[INCA (Software)|INCA]], [[ETAS Group#LABCAR|LABCAR]], Software in the Loop (SiL), [[CarMaker]] und [[HiL|Hardware in the Loop (HiL)]].

Für eine Analyse und Messung der [[Kontrollflussorientierte Testverfahren|Testüberdeckung]] steht beispielsweise für C-Programme eine Ankopplung an den Code Coverage Analyser [[Testwell ctc++]] oder gcov bereit.

TPT kann als [[Signalgenerator]] auch zum „Ausprobieren“ der Implementierung während der Entwicklungsphase benutzt werden. Durch die Möglichkeit, beliebige Signale zu generieren, kann TPT auch als Signalgenerator benutzt werden. In [[Matlab]]/[[Simulink]] können damit Schalter und Signalgeneratoren komfortabel ersetzt werden. Die Ergebnisse sind wiederholbar und führen zu einer verbesserten [[Qualität]] der Entwicklung.

Das testsynchrone Messen steuergeräteinterner Messgrößen am Prüfstand oder im Fahrzeug erfolgt über Werkzeuge wie [[INCA (Software)|INCA]] oder [[CANape]]. Die Messergebnisse stehen zur Testfallbewertung oder zur Testlaufzeit zur Verfügung<ref>Jens Lüdemann: ''Automatic ASAM MCD-3 supported Test'', In: ''Open Technology Forum at the Testing Expo'' in Stuttgart, Germany, 2009. [http://www.piketec.com/downloads/papers/automatic-ASAM-MCD-3-supported-test.pdf PDF-Artikel]</ref>.

Bei der Testdurchführung steht eine konfigurierbare grafische Benutzeroberfläche mit [[Anzeige (Technik)|Anzeigen]] und [[Steuerelement]]en zur Verfügung. Damit können in [[Echtzeit]] parallel zur Testausführung Werte vom Benutzer stimuliert oder angezeigt werden. Diese Interaktion kann auch aufgezeichnet werden um so Tests als Schrittliste aufzunehmen.

== Programmierte Testauswertung ==

Testergebnisse müssen bewertet werden. Qualitative Aussagen wie „wahr“, „falsch“ oder „ungewiss“ müssen in der [[Software Test Documentation|Testdokumentation]] ausgegeben werden. Abweichungen vom Soll-Verhalten sollen protokolliert werden. Neben der manuellen Auswertung und dem Vergleich mit Referenzdaten ([[Regressionstest]]) können mit TPT Testergebnisse automatisch ausgewertet werden. Regelbasierte Auswertungen sind möglich. Zeitliches und funktionales Verhalten des [[Prüfling|Testobjekts]] kann somit nicht nur strikt quantitativ, sondern auch qualitativ einfach beurteilt werden. Eine visuelle Inspektion nach jedem Testdurchlauf entfällt.

Die [[Softwaretest#Testauswertung|Testauswertung]], auch Testassessment genannt, basiert auf aufgezeichneten [[Testdaten]].
Auswertungen werden in wohl definierten Zeitintervallen durchgeführt, da in vielen Fällen eine Auswertung der Ergebnisse nur unter bestimmten Eintrittsbedingungen erfolgen kann. Beispielsweise ist eine Vorbedingung dafür, dass ein Licht leuchtet, dass das Licht eingeschaltet ist.

Für gängige und einfache [[Softwaretest#Testauswertung|Testauswertungen]] stehen graphische Benutzeroberflächen zur Verfügung:
* Überwachung von Signalgrenzen (Min/Max-Vergleich)
* Fehlertoleranter Vergleich von Signalen mit Referenzsignalen ([[Regressionstest]])
* Untersuchung von diskreten Signalsequenzen
* Regelbasierte Untersuchungen nach zeitlichen [[Trigger (Elektronik)|Triggerbedingungen]]
* Einbindung von [[Matlab]]-Skripten

Für weiterreichende Untersuchungen steht eine eigene Programmiersprache auf [[Python (Programmiersprache)|Python]]-Basis zur Verfügung. Diese Programmiersprache stellt eine umfangreiche Bibliothek zum Rechnen mit Signalen bereit. Bspw. sind Filteroperationen, Monotonieuntersuchungen, zeitliche Abfragen, Untersuchungen, ob eine Bedingung immer oder niemals auftritt, oder die Definition zeitlicher Intervalle möglich.
Eine Auswertung anderweitig erhaltener [[Messergebnis]]se ist gleichfalls möglich. Die Messdaten modellinterner [[TargetLink]]- oder [[Simulink]]-Signale sowie Daten anderer [[Messgeräte]] sind automatisch in der Testauswertung nutzbar.

== Testmanagement ==
TPT unterstützt folgende Bereiche des Testmanagements:
* Testfallerstellung (Testfallmodellierung)
* Testplanung
* Testdokumentation
* Fortschrittsanzeige über verschiedene Releases
* Nachverfolgbarkeit von Anforderungen, Testfällen, Testdurchführungen und Testresultaten

== Einsatzgebiete ==
TPT wird vorrangig in der Automobilindustrie eingesetzt. Die ursprüngliche Idee ist bei der [[Daimler AG]] und [[Mercedes-Benz]] für die eigene Fahrzeugentwicklung entstanden.<ref>{{cite web|url=https://link.springer.com/article/10.1007%2Fs00450-005-0197-5 |title=Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler In: Informatik – Forschung und Entwicklung Volume 20, Numbers 1–2 (2005), 3–10; Springer Berlin / Heidelberg |publisher=Springerlink.com |date=2001-07-09 |accessdate=2013-08-08}}</ref> Mit den ersten Versionen des Testwerkzeugs wurde dort schon im Jahr 2000 gearbeitet. Inzwischen arbeiten auch andere Automobilfirmen wie [[General Motors|GM]], [[Volkswagen AG|Volkswagen]], [[Audi]], [[Porsche]] und [[BMW]] sowie Zulieferer wie [[Robert Bosch GmbH|Bosch]], [[Hella (Unternehmen)|Hella]], [[TRW Inc.|TRW]] und [[Continental AG|Continental]] mit dem Testwerkzeug.<ref>{{Webarchiv |url=http://www.hanser-automotive.de/aktuelle-entwicklungswerkzeuge/entwicklungswerkzeuge/article/piketec-tpt-als-test-und-verifikationssoftware.html |text=Hauser Automotive Website |wayback=20151124224530}}. Abgerufen am 16. März 2015.</ref> Daimler hat die Weiterentwicklung von TPT jahrelang selbst koordiniert und TPT dabei für den Automobilsoftwarebereich optimiert.

== Nachverfolgbarkeit von Anforderungen ==
Internationalen Standards für sichere Systeme wie [[IEC 61508]], [[DO-178B]], [[EN 50128]] und [[ISO 26262]] fordern Nachverfolgbarkeit von Anforderungen und Tests. Mit TPT können Requirements beispielsweise aus dem Werkzeug [[DOORS]] importiert werden, Testfälle mit den Anforderungen verlinkt werden und die Daten miteinander synchronisiert werden. Abdeckungs- und Nachverfolgbarkeitsanalysen sind möglich. Beim Import geänderter Anforderungen werden betroffene Testfälle markiert und können somit gezielt an neue Spezifikationen angepasst werden.

== Siehe auch ==
* [[Test-Harnisch]]
* [[Liste von Modultest-Software]]

== Literatur ==
* {{Literatur
|Autor=Eckard Lehmann
|Titel=Time Partition Testing. Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen
|Verlag=Technische Universität Berlin, Fakultät IV – Elektrotechnik und Informatik
|Datum=2004
|Kommentar=Dissertation
|DOI=10.14279/depositonce-743}}
* {{Literatur
|Autor=Menno Mennenga, Christian Dziobek, Iyad Bahous
|Titel=Modell- und Softwareverifikation vereinfacht
|Sammelwerk=Elektronik Automotive
|Nummer=Heft 4
|Datum=2009
|Online=http://www.piketec.com/downloads/papers/Effizient-Testen-Elektronik-Automotive-04-09.pdf
|Format=PDF
|KBytes=314}}

== Weblinks ==
* [https://www.synopsys.com/verification/virtual-prototyping/tpt.html TPT]

== Einzelnachweise ==
<references />

[[Kategorie:Automobilelektronik|Time Partition Testing]]
[[Kategorie:Testsoftware|TPT]]
[[Kategorie:Steuerungs- und Regelungstechnik|Time Partition Testing]]

TPT (Software) - Versionsgeschichte

imported>Sascindler: Aktuelle Versionierung geändert