Petri-Netz basierte Verifikation von funktionalen Testfällen (Volume 57) (English shop)

Preview

Extract, PDF (410 KB)
Table of Contents, PDF (31 KB)

Automated test cases for hardware-in-the-loop test benches are used for the functional validation of vehicle functions. The execution of semantically faulty test cases leads to invalid test results and thus to unnecessary repetitions.

The present work describes an automated method for the verification of test cases. The test cases, formalised in a UML dialect, are transformed into formulae of an action logic and represented by means of Petri nets. On this basis, previously defined causal conditions are checked using invariant analyses.

This makes it possible to check the test cases for semantic modelling errors in the test sequence description before they are executed on the test bench, thereby conserving valuable test bench time. The approach makes an important contribution to increasing efficiency in the validation process.