Congress detail
Authors: 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. .
Meeting type: Simposio.
Type of job: Artículo Completo.
Production: Adapting Model-Based Testing Techniques to DEVS Models Validation.
Scientific meeting: Symposium on Theory of Modeling & Simulation 2012.
Meeting place: Orlando.
Organizing Institution: The Society for Modeling and Simulation International .
It's published?: Yes
Publication place: Orlando
Meeting month: 3
Year: 2012.