Automated model-based testing of simulation models with TorX

M.P.W.J. Osch, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

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.
Original languageEnglish
Title of host publicationQuality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)
EditorsR. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J. Schroeder
Place of PublicationBerlin
PublisherSpringer
Pages227-241
ISBN (Print)3-540-29033-8
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
Volume3712
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Automated model-based testing of simulation models with TorX'. Together they form a unique fingerprint.

  • Cite this

    Osch, van, M. P. W. J. (2005). Automated model-based testing of simulation models with TorX. In R. Reussner, J. Mayer, J. A. Stafford, S. Overhage, S. Becker, & P. J. Schroeder (Eds.), Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005) (pp. 227-241). (Lecture Notes in Computer Science; Vol. 3712). Springer. https://doi.org/10.1007/11558569_17