Automated model-based testing of simulation models with TorX

M.P.W.J. Osch, van

doi:10.1007/11558569_17

Automated model-based testing of simulation models with TorX

M.P.W.J. Osch, van

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)
Editors	R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J. Schroeder
Place of Publication	Berlin
Publisher	Springer
Pages	227-241
ISBN (Print)	3-540-29033-8
DOIs	https://doi.org/10.1007/11558569_17
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science
Volume	3712
ISSN (Print)	0302-9743

Access to Document

10.1007/11558569_17

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

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

@inproceedings{4578135c95e7483d9bf31412536de1b1,

title = "Automated model-based testing of simulation models with TorX",

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.",

author = "\{Osch, van\}, M.P.W.J.",

year = "2005",

doi = "10.1007/11558569\_17",

language = "English",

isbn = "3-540-29033-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "227--241",

editor = "R. Reussner and J. Mayer and J.A. Stafford and S. Overhage and S. Becker and P.J. Schroeder",

booktitle = "Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)",

address = "Germany",

}

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Automated model-based testing of simulation models with TorX

AU - Osch, van, M.P.W.J.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1007/11558569_17

DO - 10.1007/11558569_17

M3 - Conference contribution

SN - 3-540-29033-8

T3 - Lecture Notes in Computer Science

SP - 227

EP - 241

BT - Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005)

A2 - Reussner, R.

A2 - Mayer, J.

A2 - Stafford, J.A.

A2 - Overhage, S.

A2 - Becker, S.

A2 - Schroeder, P.J.

PB - Springer

CY - Berlin

ER -

Osch, van MPWJ. Automated model-based testing of simulation models with TorX. In Reussner R, Mayer J, Stafford JA, Overhage S, Becker S, Schroeder PJ, editors, Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005). Berlin: Springer. 2005. p. 227-241. (Lecture Notes in Computer Science). doi: 10.1007/11558569_17

Automated model-based testing of simulation models with TorX

Abstract

Publication series

Access to Document

Fingerprint

Cite this