Adapting model-based testing techniques to DEVS models validation
Diego A. Hollmann, Maximiliano Cristiá, Claudia Frydman · 2012
One way to validate a model of a system against its requirements is to simulate it several times under different conditions and observe its behavior in order to compare it with what the system is supposed to do. This paper presents a technique that is widely used in the software testing community but barely known in the modeling and simulation community. We formalize a family of criteria to conduct DEVS model simulations in an ordered way and to cover the most significant simulation scenarios to increase the confidence that the model has been properly validated.