Improving Model-Based Testing in Automotive Software Engineering

Testing is crucial to successfully engineering reliable automotive software. The manual derivation of test cases from ambiguous textual requirements is costly and error-prone. Model-based development can reduce the test case derivation effort by capturing requirements in structured models from which test cases can be generated with reduced effort. To facilitate the automated test case derivation at BMW, we conducted an anonymous survey among its testing practitioners and conceived a model-based improvement of the testing activities. The new model-based test case derivation extends BMW's SMArDT method with automated generation of tests, which addresses many of the practitioners' challenges uncovered through our study. This ultimately can facilitate quality assurance for automotive software.

[1]  Durga Prasad Mohapatra,et al.  A novel approach of test case generation for concurrent systems using UML Sequence Diagram , 2011, 2011 3rd International Conference on Electronics Computer Technology.

[2]  Sungwon Kang,et al.  Generating Test Cases for Web Services Using Extended Finite State Machine , 2006, TestCom.

[3]  Bernhard Rumpe.  Modeling with UML: Language, Concepts, Methods , 2016 .

[4]  Franz Wotawa,et al.  Testing methods used in the automotive industry: results from a survey , 2014, JAMAICA 2014.

[5]  Jonathan P. Bowen,et al.  Formal Methods , 2010, Computing Handbook, 3rd ed..

[6]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[7]  Marsha Chechik,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 2016, Lecture Notes in Computer Science.

[8]  Allaoua Chaoui,et al.  A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams , 2015, C3S2E.

[9]  Christof Ebert,et al.  Automotive Software , 2017, IEEE Softw..

[10]  Bernhard Rumpe,et al.  Integration of heterogeneous modeling languages via extensible and composable language components , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[11]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[12]  Pham Ngoc Hung,et al.  A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language , 2015, SoICT.

[13]  Bernhard Rumpe,et al.  Engineering Robotics Software Architectures with Exchangeable Model Transformations , 2017, 2017 First IEEE International Conference on Robotic Computing (IRC).

[14]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[15]  Wanchai Rivepiboon,et al.  Automated-generating test case using UML statechart diagrams , 2003 .

[16]  Bernhard Rumpe,et al.  Modeling Cloud Architectures as Interactive Systems , 2014, MDHPCL@MoDELS.

[17]  Man Zhang,et al.  RTCM: a natural language based, automated, and practical test case generation framework , 2015, ISSTA.

[18]  Rajesh Subramanyan,et al.  A survey on model-based testing approaches: a systematic review , 2007, WEASELTech '07.

[19]  Fabien Peureux,et al.  Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems , 2011, ETSE '11.

[20]  B. Prasad.  Analysis of pricing strategies for new product introduction , 1997 .

[21]  Rajeev Kumar,et al.  Generation of improved test cases from UML state diagram using genetic algorithm , 2011, ISEC.

[22]  Li Xuandong,et al.  UMLTGF: A Tool for Generating Test Cases from UML Activity Diagrams Based on Grey-Box Method , 2006 .

[23]  A. Jefferson Offutt,et al.  Generating Tests from UML Specifications , 1999, UML.

[24]  Bernhard Rumpe,et al.  Behavioral compatibility of simulink models for product line maintenance and evolution , 2015, SPLC.

[25]  Irene Rößler,et al.  Statistik für Wirtschaftswissenschaftler , 2011 .

[26]  Peter Liggesmeyer,et al.  Software-Qualität - testen, analysieren und verifizieren von Software , 2002 .