Automated model-based testing of simulation models with TorX

Autor:	Osch, van, M.P.W.J., Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J.
Přispěvatelé:	Formal System Analysis
Jazyk:	angličtina
Rok vydání:	2005
Předmět:	Model-based testing SIMPLE (military communications protocol) System under test business.industry Computer science Simulation modeling Verification and validation of computer simulation models business Software architecture Quality assurance Simulation
Zdroj:	Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005), 227-241 STARTPAGE=227;ENDPAGE=241;TITLE=Quality of Software Architectures and Software Quality (Proceedings QoSA2005 and SOQUA2005, Erfurt, Germany, September 20-22, 2005) Lecture Notes in Computer Science ISBN: 9783540290339 QoSA/SOQUA
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e14f090ab991395a8574eedf98e806e0 https://research.tue.nl/nl/publications/4578135c-95e7-483d-9bf3-1412536de1b1 Zobrazit plný text záznamu