Quality Assurance for Component-based Systems in Embedded Environments

Abstract

Quality assurance for embedded systems is challenging to the heterogeneity, connectivity and constructivity of environments. In this paper, we present the quality assurance design and implementation driven by model-based testing (MBT) for component-based applications in embedded environments. The work is conducted within the EU H2020 project PHANTOM, and the quality assurance in PHANTOM consists of two stages, i.e., early validation and test execution, for both functional and non-functional verification and validation. Early validation stage is carried out in parallel with application development without executing applications to eliminate early design defects, while test execution stages involves functional and non-functional testing, which start in parallel with the application development and end with the execution of test cases against systems under test. All activities are applied to three industry use cases upon hardware agnostic platforms brought by PHANTOM technology, and the results show that combining early validation and test execution enables early and thorough defect detections all along development lifecycle and improve the efficiency and effectiveness of quality assurance.