Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams

Vanessa Tietz, Bjoern Annighoefer

2024

Abstract

Domain-specific modeling (DSM) is a powerful approach for efficient system and software development. However, its use in safety-critical avionics is still limited due to the rigorous software and system safety requirements. Regardless of whether DSM is used as a development tool or directly in flight software, the software developer must ensure that no unexpected misbehavior occurs. This has to be proven by defined certification processes. For this reason, DOMAINES, a DSM framework specifically adapted to the needs of safety-critical (avionics) systems, is currently being developed. While it is possible to create and process domain-specific languages and models, the challenge lies in ensuring that the framework consistently performs as intended, providing the foundation for certification. For this purpose, a novel approach is employed: the introduction of a meta-meta-modeling language that combines syntax diagrams with a class diagram. This language serves as a comprehensive reference for the generation of test cases and the formal linking of grammar, meta-modeling language and implementation. This allows the implementation to be tested with every conceivable command. In addition, mechanisms ensure that this set of commands to be tested is a closed set.

Paper Citation

in Harvard Style

Tietz V. and Annighoefer B. (2024). Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams. In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD; ISBN 978-989-758-682-8, SciTePress, pages 108-116. DOI: 10.5220/0012307400003645

in Bibtex Style

@conference{modelsward24,
author={Vanessa Tietz and Bjoern Annighoefer},
title={Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams},
booktitle={Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD},
year={2024},
pages={108-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012307400003645},
isbn={978-989-758-682-8},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - Volume 1: MODELSWARD
TI - Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams
SN - 978-989-758-682-8
AU - Tietz V.
AU - Annighoefer B.
PY - 2024
SP - 108
EP - 116
DO - 10.5220/0012307400003645
PB - SciTePress