This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Automated Test Case Generation for Automotive Embedded Software Testing Using XMI-Based UML Model Transformations
Technical Paper
2014-01-0315
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
We report a method to automatically generate test cases for automotive embedded software from a UML-based model using XML metadata interchange (XMI). First, the software model created using UML is converted to metadata in XMI format. Then, based on this metadata (which does not depend on a specific language), software test cases for structural testing or requirement-based testing may be generated using an appropriate parser. The model does not need to be implemented using the Object Constraint Language (OCL), and software test cases may be generated using an appropriately defined parser for a given language (which may be C/C++). Because software test cases can be converted to hardware test cases via a stimulus-mapping table, which contains the information on the digital and analog signals, and the communications interface, hardware test cases may also be generated automatically. The use of automatic test-case generation for structural testing and requirement-based testing can lead to a considerable reduction in the workload involved in testing embedded software.
Recommended Content
Progress In Technology | Automotive Software |
Technical Paper | Software Testing Coverage for Automotive Embedded Controllers |
Technical Paper | Robust Embedded Software Begins With High-Quality Requirements |
Authors
Citation
Shin, K., Kim, S., Park, S., and Lim, D., "Automated Test Case Generation for Automotive Embedded Software Testing Using XMI-Based UML Model Transformations," SAE Technical Paper 2014-01-0315, 2014, https://doi.org/10.4271/2014-01-0315.Also In
References
- Bauer , A. , Broy , M. , Romberg , J. , Schätz , B. et al. AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software SAE Technical Paper 2005-01-1281 2005 10.4271/2005-01-1281
- IBM IBM® Rational® Rhapsody® Automatic Test Generation Add On - Limitations http://pic.dhe.ibm.com/infocenter/rhaphlp/v7r6/topic/com.ibm.rhp.oem.pdf.doc/pdf/rhap_atg_limitations.pdf
- Hartig Wolfgang , Habermann Albert , and Mottok J. Model-Based Testing for Better Quality Elektronik automotive 2009
- Vilkomir , S.A. and Bowen J.P. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Aspects of Computing 2006 18 1 42 62
- Chilenski , J.J. An investigation of three forms of the modified condition decision coverage (MCDC) criterion 2001 DTIC Document
- Samuel , P. , Mall R. , and Kanth P. Automatic test case generation from UML communication diagrams. Information and Software Technology 2007 49 2 158 171
- Samuel , P. , Mall R. , and Bothra A.K. Automatic test case generation using unified modeling language (UML) state diagrams. Software IET 2008 2 2 79 93
- Hartmann , J. , Imoberdorf C. , and Meisinger M. UML-Based integration testing. SIGSOFT Softw. Eng. Notes 2000 25 5 60 70
- Parr , T. ANTLR (Another Tool for Language Recognition) http://www.antlr.org/index.html
- Richardson M.W. Reduce Cost of ISO 26262 Compliance while Driving Productivity Gains Embedded Real Time Software And Systems 2012 Toulouse, France
- Binder , R. Testing Object-oriented Software Testing: Models, Patterns, and Tools 2000 Addison-Wesley Professional
- Leitner , A. et al. Efficient unit test case minimization Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering 2007 ACM: Atlanta Georgia, USA 417 420
- Shin , K. , Kim , S. , and Lim , D. Automatic Test-Case Generation for Hardware-in-the-Loop Testing of Automotive Body Control Modules SAE Technical Paper 2013-01-0161 2013 10.4271/2013-01- 0161
- INC., B.T. R-Bench TE http://www.btstech.co.kr/page_vaHk97
- Damm , L.-O. , Lundberg L. , and Olsson D. Introducing Test Automation and Test-Driven Development: An Experience Report. Electronic Notes in Theoretical Computer Science 2005 116 0 3 15
- OMG UML Testing Profile v1.1 2012