This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Automatic Test-Case Generation for Hardware-in-the-Loop Testing of Automotive Body Control Modules
Technical Paper
2013-01-0161
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This paper reports an automatic method for creating test cases for hardware-in-the-loop (HIL) testing of the body control module (BCM) for automobiles. First, test cases are generated automatically using Unified Modeling Language (UML) modeling software with an automatic test generation add-on. In this work, Rhapsody from IBM with the automatic test generator (ATG) add-on is used to generate automatic test cases. Then, these test cases are converted into Extensible Markup Language (XML) Metadata Interchange (XMI) format. From this XMI format file, test cases for HIL are generated by mapping stimuli such as digital input/output, analog input/output, and controller area network (CAN) interfaces. For this mapping procedure, the pros and cons of Extensible Stylesheet Language Transformations (XSLT) and XML Query Language (XQuery) are discussed. In addition, the advantages of generating hardware test cases using model-in-the-loop (MIL) and software-in-the-loop (SIL) test cases are addressed.
Once the HIL test cases are generated, they are downloaded to the HIL test system for real-time testing. This study used a National Instruments PXI-based hardware platform and LabWindows/CVI for the HIL system. The test conversion method discussed here can be used to test cases generated by any kind of test-case generator, as long as they can be converted into XMI format. This saves a great deal of effort compared with manual test-case generation for hardware tests, and the efficiency of the development process can be improved.
Recommended Content
Citation
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, https://doi.org/10.4271/2013-01-0161.Also In
References
- Beizer , B. Software Testing Techniques 2002 Dreamtech Press
- Kum , D. , Son , J. , Lee , S. , Wilson , I. et al. Model-Based Automated Validation Techniques for Automotive Embedded Systems SAE Technical Paper 2007-01-0503 2007 10.4271/2007-01-0503
- Hartig W. , Habermann A. , and Mottok J. Model-Based Testing for Better Quality Elektronik Automotive 2009
- Kwan-Hyung , L. et al. Model-Driven Requirements Validation for Automotive Embedded Software using UML Computing Technology and Information Management (ICCM), 2012 8th International Conference 2012
- MathWorks Lear Delivers Quality Body Control Electronics Faster Using Model-Based Design http://www.mathworks.co.kr/company/user_stories/Lear-Delivers-Quality-Body-Control-Electronics-Faster-Using-Model-Based-Design.html
- Kang , D. , Zhang , D. , Fleming , W. , Fron , J. et al. Establishing an Efficient Test Framework for Embedded Software Verification via Hardware-in-the-Loop Testing SAE Technical Paper 2012-01-2029 2012 10.4271/2012-01-2029
- OMG UML Testing Profile v1.1 2012
- W3C XQuery 1.0 and XPath 2.0 Functions and Operators 2010 Second http://www.w3.org/TR/xpath-functions/
- Marchal , B. Working XML: Comparing XLST 2.0 and XQuery Developer Works 2006
- W3C XQuery 1.0: An XML Query Language 2010
- Ernits , J.P. et al. Generating TTCN-3 Test Cases from EFSM Models of Reactive Software using Model Checking 2006 Informatik