Premium
SMArDT modeling for automotive software testing
Author(s) -
Drave Imke,
Hillemacher Steffen,
Greifenberg Timo,
Kriebel Stefan,
Kusmenko Evgeny,
Markthaler Matthias,
Orth Philipp,
Salman Karin Samira,
Richenhagen Johannes,
Rumpe Bernhard,
Schulze Christoph,
Wenckstern Michael,
Wortmann Andreas
Publication year - 2019
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.2650
Subject(s) - executable , computer science , software engineering , model based testing , automotive industry , model transformation , verification and validation , test case , test management approach , consistency (knowledge bases) , software , software construction , software development , reliability engineering , programming language , engineering , artificial intelligence , operations management , regression analysis , machine learning , aerospace engineering
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.