Continuous Verification of Evolving Architecture Models: A Testing Framework for MontiArc
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 742–751
Abstract
Domain-specific languages and modeling languages benefit from dedicated testing frameworks that enable modelers to specify, organize, and execute tests at the same level of abstraction as the models under test. This paper presents MaUnit, a framework for specifying and executing model-level tests for MontiArc. MaUnit provides a dedicated testing notation together with an execution platform that supports reusable test components, parameterized test cases, and automated result reporting. We describe the key design decisions underlying the framework and evaluate its applicability by re-implementing the majority of MontiArc’s simulator tests.
Authors 4
-
Affiliation as printed
Software Engineering, RWTH Aachen University, Aachen, Germany
-
Affiliation as printed
Software Engineering, RWTH Aachen University, Aachen, Germany
-
Affiliation as printed
Software Engineering, RWTH Aachen University, Aachen, Germany
-
Affiliation as printed
Software Engineering, RWTH Aachen University, Aachen, Germany
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-11).