Automated model-based testing of simulation models with TorX

M.P.W.J. Osch, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)


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.
Originele taal-2Engels
TitelQuality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)
RedacteurenR. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J. Schroeder
Plaats van productieBerlin
ISBN van geprinte versie3-540-29033-8
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Automated model-based testing of simulation models with TorX'. Samen vormen ze een unieke vingerafdruk.

Citeer dit