Portal de Periódicos da CAPES

Automated Model-Based Testing of χ Simulation Models with TorX

2005; Springer Science+Business Media; Linguagem: Inglês

10.1007/11558569_17

1611-3349

Michiel van Osch,

Formal Methods in Verification

Simulation models are used for performance optimization and validation of embedded systems. However, these models are usually not validated in a structural, formal, way. This paper describes a method for testing a χ-model using the model-based test-tool TorX. The method is explained by using a simple example. After that, we describe the results of a case study performed on a simulation model of an industrial system.