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

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. State-space 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 code 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.