Quality assurance of automotive hybrid embedded software
Justyna Zander · 2009
Quality assurance (QA) is a crucial part of the software engineering, especially when the developed systems are safety-critical. It becomes even more complex at the integration level as many components are involved in the behavior of such systems. In the following, we present an approach to QA at the model integration level. In particular, we discuss failure management (FM) and testing. We propose a QA framework for modeling the crosscutting system services, transforming them into failure detectors, deriving failure mitigators, and test cases based on those services. Moreover, we show how to leverage the selected FM design elements and reuse them for testing. We automate a number of these steps. Finally, we execute the obtained QA models against the system and analyze the results.