CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Adapting Model-Based Testing Techniques to DEVS Models Validation
Autor/es:
HOLLMANN, DIEGO; CRISTIÁ, MAXIMILIANO; FRYDMAN, CLAUDIA
Lugar:
Orlando
Reunión:
Simposio; Symposium on Theory of Modeling & Simulation 2012; 2012
Institución organizadora:
The Society for Modeling and Simulation International
Resumen:
One way to validate a model of a system against its require-ments is to simulate it several times under different conditionsand observe its behavior in order to compare it with what thesystem is supposed to do. This paper presents a technique thatis widely used in the software testing community but barelyknown in the modeling and simulation community. We for-malize a family of criteria to conduct DEVS model simula-tions in an ordered way and to cover the most significant sim-ulation scenarios to increase the confidence that the modelhas been properly validated.
