Options
2007
Conference Paper
Titel
From requirements to statistical testing of embedded systems
Abstract
This paper presents the results of a research project where the combination of techniques of sequence-based requirements specification and modelbased statistical testing has been applied to a real mirror control unit of a car door for reliability estimations. A complete chain from a requirements document to a statistical test report with a very high degree of automation is demonstrated. A practical solution for reliability analysis of embedded systems in a realistic industrial setup is proposed.
Author(s)