Development of a framework for automated systematic testing of safety-critical embedded systems

Kandl, S., Kirner, Raimund and Puschner, P. (2006) Development of a framework for automated systematic testing of safety-critical embedded systems. In: Proceedings of the Fourth International Workshop on Intelligent Solutions in Embedded Sysems :. Institute of Electrical and Electronics Engineers (IEEE), Vienna, pp. 65-77. ISBN 3-902463-06-6
Copy

In this paper we introduce the development of a framework for testing safety-critical embedded systems based on the concepts of model-based testing. In model-based testing the test cases are derived from a model of the system under test. In our approach the model is an automaton model that is automatically extracted from the C-source code of the system under test. Beside random test data generation the test case generation uses formal methods, in detail model checking techniques. To find appropriate test cases we use the requirements defined in the system specification. To cover further execution paths we developed an additional, to our best knowledge, novel method based on special structural coverage criteria. We present preliminary results on the model extraction using a concrete industrial case study from the automotive domain.


picture_as_pdf
905617.pdf
subject
Submitted Version

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads