From Requirements to Statistical Testing of Embedded Systems

Authors:
Thomas Bauer;Frank Bohr;Dennis Landmann;Taras Beletski;Robert Eschbach;Jesse Poore
Affiliations:
Fraunhofer IESE;Fraunhofer IESE;Fraunhofer IESE;Fraunhofer IESE;Fraunhofer IESE;Fraunhofer IESE
Venue:
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Year:
2007

Citing 3
Cited 5

Estimating the Probability of Failure When Testing Reveals No Failures

IEEE Transactions on Software Engineering
Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Foundations of Sequence-Based Software Specification

IEEE Transactions on Software Engineering

An axiom system for sequence-based specification

Theoretical Computer Science
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Bottom-up reuse for multi-level testing

Journal of Systems and Software
Augmenting sequence enumeration with string-rewriting for requirements analysis and behavioral specification

FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Applying string-rewriting to sequence-based specification

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

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.