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

Noël Hagemann, Reinhard Pröll, Bernhard Bauer

2020

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.

Paper Citation

in Harvard Style

Hagemann N., Pröll R. and Bauer B. (2020). Towards Abstract Test Execution in Early Stages of Model-driven Software Development. In Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-400-8, pages 216-226. DOI: 10.5220/0008934802160226

in Bibtex Style

@conference{modelsward20,
author={Noël Hagemann and Reinhard Pröll and Bernhard Bauer},
title={Towards Abstract Test Execution in Early Stages of Model-driven Software Development},
booktitle={Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2020},
pages={216-226},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008934802160226},
isbn={978-989-758-400-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Abstract Test Execution in Early Stages of Model-driven Software Development
SN - 978-989-758-400-8
AU - Hagemann N.
AU - Pröll R.
AU - Bauer B.
PY - 2020
SP - 216
EP - 226
DO - 10.5220/0008934802160226