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.