Abstract | ||
---|---|---|
Software is the most crucial innovation driver for cyber-physical systems and validating its correct behavior is crucial to many application domains from automated vehicles to medical systems, smart homes, and smart cities. Typical for these systems is that software errors can cause severe ramifications and can be very costly to fix. Consequently, facilitating a priori software validation and verification is of crucial importance for cyber-physical system development. We hence present a modelbased method which facilitates test creation, test maintenance, and improved test coverage in automotive software engineering. To this end, we translate specification models used in the BMW Groupu0027s SMArDT engineering methodology into activity diagrams, apply optimizations, and ultimately generate test cases. We realize these transformations using the MontiCore language workbench and report on ongoing evaluation at the BMW Group. First results indicate that model-based test case creation can provide great benefits to all stakeholders, once the initial learning efforts have been mastered. |
Year | Venue | Field |
---|---|---|
2018 | SEAA | Code coverage,Unified Modeling Language,Systems engineering,Computer science,A priori and a posteriori,Activity diagram,Model-based testing,Software,Test case,Software verification and validation |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Imke Drave | 1 | 4 | 1.82 |
Steffen Hillemacher | 2 | 4 | 1.15 |
timo greifenberg | 3 | 30 | 4.84 |
Bernhard Rumpe | 4 | 2691 | 313.45 |
Andreas Wortmann | 5 | 163 | 30.41 |
Matthias Markthaler | 6 | 4 | 1.82 |
Stefan Kriebel | 7 | 60 | 7.41 |