SMArDT modeling for automotive software testing. (26th October 2018)

• Record Type: Journal Article
• Authors: Drave, Imke; Hillemacher, Steffen; Greifenberg, Timo; Kriebel, Stefan; Kusmenko, Evgeny; Markthaler, Matthias; Orth, Philipp; Salman, Karin Samira; Richenhagen, Johannes; Rumpe, Bernhard; Schulze, Christoph; von Wenckstern, Michael; Wortmann, Andreas
• Other Names: Bosch Jan guestEditor.; Cooper Kendra M. L. guestEditor.; Paulisch Frances guestEditor.
• Is Part Of: Software, practice & experience. Volume 49:Number 2(2019)
• Page Start: 301
• Page End: 328
• Publication Date: 2018-10-26
• Subjects: automotive software engineering -- model‐based testing -- test case creation; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2650
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error‐prone. Model‐based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model‐based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.