Validating UML simulation models with model-level unit tests

Abstract

We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform UML models into executable simulation code. Typically, both functionality and behavior are modeled in UML, whereas debugging and validation are mainly an issue of investigating the executable code. We contribute to the field of model-driven simulation by defining a novel testing method. Our method allows to use UML to specify model-level unit tests in order to validate simulation models defined with UML. In addition, we describe the translation, execution and evaluation of these tests within the framework Syntony. In this paper, we show the principles of this method and discuss its use in the scope of our simulation framework Syntony as well as its general applicability. Our implementation allows to compile and to execute the test code in combination with the simulation code. In spite of the high abstraction level, the full functionality of unit testing is provided and the modeler can rely on automated test case generation and execution. After execution of the tests, the achieved test coverage is computed as a measure for the test quality.

A comfortable testplayer for analyzing statistical usage testing strategies

“…In order to generate an executable simulation model from a given system specification, i.e. a UML statechart diagram, the simulation framework Syntony [2] is applied. Furthermore, an exporter component is needed for automatically transforming generated test cases into the UML format.…”

“…Therefore, we call for the earliest possible validation of the system specification in the course of the software engineering process. In our approach we apply the UML simulation framework Syntony [2] to perform a test-driven agile simulation. Here, the statistical test cases are already being used in an early engineering phase in order to validate the system specification.…”

Merging OMG Standards in a General Modeling, Transformation, and Simulation Framework

“…Widely based on the standards provided by OMG, it combines model-based design and code generation techniques, along with model-based testing and simulation methods. The TAS approach enables the inspection of the involved models at early engineering stages among others by simulating the UML-based system model and by performing tests on it derived from the corresponding UML-based test model [10]. Using the model-to-text transformation methods standardized by MOFM2T the approach assist the transformation of UML-based specifications to executable simulation code.…”