Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. From requirements to statistical testing of embedded systems
| Institute of Electrical and Electronics Engineers -IEEE-:
Fourth International Workshop on Software Engineering for Automotive Systems, SEAS 2007. Proceedings : 20-26 May 2007, Minneapolis
Los Alamitos: IEEE Computer Society, 2007
ISBN: 0-7695-2968-2
7 S. |
| International Workshop on Software Engineering for Automotive Systems (SEAS) <4, 2007, Minneapolis/Minn.>
International Conference on Software Engineering (ICSE) <29, 2007, Minneapolis/Minn.> |
|
| Englisch |
| Konferenzbeitrag |
| Fraunhofer IESE () |
| testing; embedded system; statistical testing; formal method; Hardware in the Loop (HiL); sequence-based specification (SBS) |
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.