Detalle del congreso
Autores: Hollmann, Diego; Cristiá, Maximiliano; Frydman, Claudia.
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. .
Tipo de reunión: Simposio.
Tipo de trabajo: Artículo Completo.
Producción: Adapting Model-Based Testing Techniques to DEVS Models Validation.
Reunión científica: Symposium on Theory of Modeling & Simulation 2012.
Lugar: Orlando.
Institución organizadora: The Society for Modeling and Simulation International .
Publicado: Sí
Lugar publicación: Orlando
Mes de reunión: 3
Año: 2012.