Towards Abstract Test Execution in Early Stages of Model-driven Software Development

Abstract

Over the last decades, systems immanent complexity has significantly increased. In order to cope with the emerging challenges during the development of such systems, modeling approaches become an indispensable part. While many process steps are applicable to the model-level, there are no sufficient realizations for test execution yet. As a result, we present a semi-formal approach enabling developers to perform abstract test execution straight on the modeled artifacts to support the overarching objective of a shift left of verification and validation tasks. Our concept challenges an abstract test case (derived from test model) against a system model utilizing an integrated set of domain-specific models, i.e. the omni model. Driven by an optimistic dataflow analysis based on a combined view of an abstract test case and its triggered system behavior, possible test verdicts are assigned. Based on a prototypical implementation of the concept, the proof of concept is demonstrated and further on put in the context of related research.

Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios

“…Following the introduction of basics and implementation of the Abstract Test Execution, the approach will be further evaluated qualitatively and critically discussed in the course of this chapter. At the beginning the evaluation of Hagemann et al [10] should be mentioned, which has already been carried out in the context of the conference contribution. In the course of that evaluation, excerpts from the Automotive Light Control System, originally utilized by Peleska et al [22], were used to demonstrate the proof of concept.…”

“…In contrast to the related conference paper [10], the following sections draw a holistic picture of the concepts around the ATE approach. Furthermore, the ATE itself is more detailed and reworked with a lightweight formalization.…”