Petri-Netz basierte Verifikation von funktionalen Testfällen (PDF)
Für die funktionale Absicherung von Fahrzeugfunktionen werden automatisierte Testfälle für Hardware-in-the-Loop Prüfstände verwendet. Die Ausführung semantisch fehlerhafter Testfälle führt dabei zu ungültigen Testergebnissen und somit zu unnötigen...
sofort als Download lieferbar
eBook (pdf)
28.25 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Petri-Netz basierte Verifikation von funktionalen Testfällen (PDF)“
Für die funktionale Absicherung von Fahrzeugfunktionen werden automatisierte Testfälle für Hardware-in-the-Loop Prüfstände verwendet. Die Ausführung semantisch fehlerhafter Testfälle führt dabei zu ungültigen Testergebnissen und somit zu unnötigen Wiederholungen.
Die vorliegende Arbeit beschreibt ein automatisiertes Verfahren zur Verifikation der Testfälle. Die in einem UML-Dialekt formalisierten Testfälle werden in Formeln einer Aktionslogik transformiert und mit Hilfe von Petri-Netzen dargestellt. Hierauf aufbauend werden zuvor definierte kausale Bedingungen basierend auf Invariantenanalysen überprüft.
Damit ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor ihrer Ausführung am Prüfstand möglich, kostbare Prüfstandszeiten werden geschont. Der Ansatz liefert einen wichtigen Beitrag zur Effizienzsteigerung im Absicherungsprozess.
Die vorliegende Arbeit beschreibt ein automatisiertes Verfahren zur Verifikation der Testfälle. Die in einem UML-Dialekt formalisierten Testfälle werden in Formeln einer Aktionslogik transformiert und mit Hilfe von Petri-Netzen dargestellt. Hierauf aufbauend werden zuvor definierte kausale Bedingungen basierend auf Invariantenanalysen überprüft.
Damit ist die Überprüfung der Testfälle auf semantische Modellierungsfehler in der Testablaufbeschreibung vor ihrer Ausführung am Prüfstand möglich, kostbare Prüfstandszeiten werden geschont. Der Ansatz liefert einen wichtigen Beitrag zur Effizienzsteigerung im Absicherungsprozess.
Bibliographische Angaben
- 2012, 226 Seiten, Deutsch
- Verlag: Cuvillier Verlag
- ISBN-10: 3736940564
- ISBN-13: 9783736940567
- Erscheinungsdatum: 21.05.2012
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.33 MB
- Ohne Kopierschutz
- Vorlesefunktion
Family Sharing
eBooks und Audiobooks (Hörbuch-Downloads) mit der Familie teilen und gemeinsam genießen. Mehr Infos hier.
Kommentar zu "Petri-Netz basierte Verifikation von funktionalen Testfällen"
0 Gebrauchte Artikel zu „Petri-Netz basierte Verifikation von funktionalen Testfällen“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Petri-Netz basierte Verifikation von funktionalen Testfällen".
Kommentar verfassen