Petri-Netz basierte Verifikation von funktionalen Testfällen

Name: Petri-Netz basierte Verifikation von funktionalen Testfällen
Brand: Cuvillier Verlag
SKU: 9783954040568
Price: 13209 HUF
Availability: InStock

Szerző: Sebastian Thiel

Nyelv:

Kötés: Puha kötésű

Kiadó: Cuvillier Verlag

Elérhetőség: Beszállítói készleten

Küldés 8-11 napon belül

13 209 Ft

Für die funktionale Absicherung von Fahrzeugfunktionen werden automatisierte Testfälle für Hardware-...

Információk a könyvről

Szerző

Sebastian Thiel

Nyelv

Német

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

226

EAN

9783954040568

ISBN

3954040565

Enbook ID

13415620

Kiadó

Cuvillier Verlag

Súly

299

Méretek

148 x 210 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Petri-Netz basierte Verifikation von funktionalen Testfällen

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták