Veritas - a versatile modeling environment for test-driven agile simulation

Anatoli Djanatliev, Winfried Dulz, Reinhard German, Vitali Schneider
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
An approach is presented in which both simulation and testing based on UML are combined in one framework to achieve an improved overall quality. System models are specified by UML diagrams, and are then mapped on C++-code and executed in the OMNeT++ network simulation framework. Statespace oriented test models are defined independently from this to express requirements by selected system usages. From these test models it is possible to generate test cases and to execute them on the simulation
more » ... de level. By adding Markov chain usage profiles to the test model it is possible to apply statistical test case generation as well. Altogether this allows to validate both kinds of models systematically and iteratively during the development cycle. The methodology is realized by combining appropriate tools and new software components based on the Eclipse RCP. The approach is also well suited for software engineering because standard modeling languages are used.
doi:10.1109/wsc.2011.6148059 dblp:conf/wsc/DjanatlievDGS11 fatcat:a2s35jkvwvfr3pl7d3ktxefszu