Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
The use of graphical models in model validation
WSC '86 Proceedings of the 18th conference on Winter simulation
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Computer Networking: A Top-Down Approach (4th Edition)
Computer Networking: A Top-Down Approach (4th Edition)
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering
SYNTONY: network protocol simulation based on standard-conform UML 2 models
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Verification and validation of simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A survey on model-based testing approaches: a systematic review
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
An overview of the OMNeT++ simulation environment
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A comfortable testplayer for analyzing statistical usage testing strategies
Proceedings of the 6th International Workshop on Automation of Software Test
Veritas - a versatile modeling environment for test-driven agile simulation
Proceedings of the Winter Simulation Conference
Integration of test-driven agile simulation approach in service-oriented tool environment
Proceedings of the 46th Annual Simulation Symposium
Hi-index | 0.00 |
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.