This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Testing Design for Embedded Automotive Software
Technical Paper
2009-01-0151
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
ABSTRACT
The ever increasing complexity of embedded automotive software is not matched by the current development and test processes of automotive embedded software and the latter have become the limiting factor.
A model-based software development and testing approach has the potential to reduce software development times, to produce executable specifications very early in the process as well as facilitate automatic code generation. Not surprisingly, the above are regarded as highly beneficial for the automotive industry. The automotive industry is increasingly using model-based testing techniques. Despite this, model-based testing tends to be done in a bespoke and non-systematic fashion [1] and easy to use, high quality, formalised, model-based testing methodologies that cater for the specific needs of in-vehicle software are hard to find.
This paper proposes a systematic model-based testing design approach which builds on previous work on systematic model-based testing for embedded automotive software [2], [3], [4]. The testing design is based on the functional requirements for the system under test and the test data are generated via two different and independent routes.
Recommended Content
Authors
Citation
Mjeda, A., McElligott, P., Ryan, K., and Thiel, S., "Model-Based Testing Design for Embedded Automotive Software," SAE Technical Paper 2009-01-0151, 2009, https://doi.org/10.4271/2009-01-0151.Also In
References
- Lamberg, K., et al. Model-Based Testing Of Embedded Automotive Software Using Mtest SAE World Congress 2004 Detroit, Michigan SAE
- Conrad, M. Krupp, A. An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events Electronic Notes in Theoretical Computer Science 2006
- Zander-Nowicka, J. Schieferdecker I. Pérez A.M. Automotive Validation Functions for On-line Test Evaluation of Hybrid Real-Time Systems IEEE 41st Anniversary of the Systems Readiness Technology Conference (AutoTestCon 2006) 2006 USA IEEE
- Zander-Nowicka, J., et al. From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems. in The 2007 World Congress in Computer Science Computer Engineering, & Applied Computing; The 2007 International Conference on Software Engineering Research and Practice, SERP'07 2007 Las Vegas (U.S.A.) CSREA Press
- AUTOSAR Technical Overview AUTOSAR Specifications, Release www.autosar.org
- Utting, M. Pretschner, A. Legeard, B. Taxonomy of Model-Based Testing 2006 Department of Computer Science The University of Waikato Hamilton, New Zealand
- Pretschner, A., et al. One evaluation of modelbased testing and its automation. in ICSE 2005
- Broy, M. Automotive Software Engineering. in ICSE 2003 Portland Oregon
- Schauffele, J. Zurawka, T. Automotive Software Engineering 2003 Vieweg Verlag
- Dai, Z.R. Model-Driven Testing with UML 2.0. in European Workshop on Model Driven Architecture EWMDA 2004 Canterbury England
- Conrad, M. Fey I. Systematic Model-Based Testing of Embedded Automotive Software Electronic Notes in Theoretical Computer Science 2005 111 13 26
- TTCN3, TTCN3. 2008
- MathWorks Matlab/Simulink/Stateflow environment 2008
- MathWorks Simulink Design Verifier 2007
- Leahmann, E. Time PartitionTesting: A Method for Testing Dynamic Functional Behaviour. in TEST2000 2000 London Great Britain
- Reactive Systems inc Reactis 2008
- Conrad, M. Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). in Perspectives of Model-Based Testing 2005 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
- Tränkle, F. Allmendinger, and T. Kible. F. Realisation of a TTCN-3 Framework for Generic Automotive Test Cases. in T3UC TTCN-3 User Conference 2006 2006
- Ulrich, A. Deinlein. A. TTCN-3 Tests for CAN-bus devices. in T3UC TTCN-3 User Conference 2006 2006
- Janker, G. Tepelmann. D. MOST® goes TTCN-3: Putting two worlds together. in T3UC TTCN-3 User Conference 2006 2006 Berlin, Germany
- Schieferdecker, I. Bringmann, and E. Großmann. J. Continuous TTCN-3: Testing of Embedded Control Systems in 3rd International ICSE workshop on Software Engineering for Automotive Systems 2006 Shanghai
- Aldrich, W. Using Model Coverage Analysis to Improve the Controls Development Process. in AIAA Modeling and Simulation Conference 2002 Monterey, California
- Ebert, J et al. CTE/XL 2007
- Conrad, M. Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien 2004 Deutscher Universitätsverlag