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.