Publication
Title
A testing framework for DEVS formalism implementations
Author
Abstract
The Discrete-Event system Specification (DEVS) is a widely used formalism for discrete-event modelling and simulation. A variety of DEVS modelling and simulation tools have been implemented. Diverse implementations with platform specific characteristics and often tailored to specific problem domains need to be tested to ensure their compliance with the precise and formal DEVS formalism specification. Such compliance allows for meaningful exchange and re-use of models. It also allows for the correct comparison of simulator implementation performance and hence of specific implementation optimizations. In this paper, we focus on testing correctness and preciseness of DEVS implementations and propose a testing framework. Our testing framework combines black box and white-box testing approaches and uses a standard XML representation for event- and state-traces (also known as segments). We apply our testing framework to Python-DEVS and DEVS++, two concrete implementations of the Classic DEVS formalism. Analysis of the test results reveals candidate items for improvement of the two tools. Finally, insights gained into DEVS standardization are discussed.
Language
English
Source (journal)
THEORY OF MODELING & SIMULATION: DEVS INTEGRATIVE M&S SYMPOSIUM 2011 (TMS-DEVS 2011) - 2011 SPRING SIMULATION
Source (book)
Theory of Modeling and Simulation: DEVS Integrative M and S Symposium, (TMS-DEVS 2011) / Spring Simulation Multiconference (SpringSim '11), APR 03-07, 2011, Boston, MA
Publication
San diego : Soc modeling simulation int-scs , 2011
ISBN
978-1-61782-838-6
Volume/pages
43 :1 (2011) , p. 183-188
ISI
000398858400024
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 02.08.2018
Last edited 03.09.2021
To cite this reference