Towards Better Testing of fUML Models

Constructing software automatically from highlevel models is one of the challenges in software engineering nowadays. There is an urgent need for adequate methods to ensure high quality of models. The Executable Foundational UML (fUML) has been proposed as a computationally complete and compact subset of UML. A fUML model is supposed to be executed and tested in the early stage of the software development process. The complete static and operational semantics of fUML is still in its early stages, and although several proposals to execute and verify fUML models have been issued, this problem is still open. Our project aims to develop a complete virtual machine for fUML models using the K-framework which is a rewrite-based executable semantic framework. Our novel model execution will enable to efficiently test and verify fUML models.