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.
This work has been carried out as part of the TANGRAM project under the responsibility of the Embedded Systems Institute. This project is partially supported by the Netherlands Ministry of Economic Affairs under grant TSIT2026.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mathworks (2005), http://www.mathworks.com
Instruments, N. (2005), http://www.ni.com
Stobie, K.: Model Based Testing in Practice at Microsoft. In: Proceedings of MBT 2004 (2004)
Fernandez, J., Jard, C., Jeron, T., Viho, C.: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. In: Groote, J.F., Rem, M. (eds.) Special Issue of Industrially Relevant Applications fo Formal Analysis Techniques. Elsevier, Amsterdam (1996)
Farchi, E., Hartman, A., Pinter, S.: Using a Model-based Test Generator to Test for Standard Conformance. IBM Systems Journal 41(1), 89–110 (2002)
Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)
Tretmans, J., Brinksma, E.: TorX: Automated Model Based Testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) Proceedings of the 1st European Conference on Model-Driven Software Engineering (2003)
Hofkanp, A., Rooda, J.: χ Reference Manual. In: Mechanical Engineering Department, Systems Engineering group, Eindhoven University of Technology, Eindhoven, The Netherlands (2002)
van den Mortel-Fronczak, J.M., Rooda, J.E.: Application of Concurrent Programming to Specification of Industrial Systems. In: Proceedings of INCOM 1995, pp. 421–426 (1995)
de Resyste, C. (2005), http://fmt.cs.utwente.nl/cdr
de Vries, R., Belinfante, A., Feenstra, J.: Testing in practice: The highway tolling system. In: Schiefendecker, I., König, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 210–234. Kluwer Academic Publishers, Berlin (2002)
Heerink, L., Feenstra, J., Tretmans, J.: Formal Test Automation: The Conference Protocol with Phact. In: Ural, H., Probert, R.L., von Bochmann, G. (eds.) Testing of Communicating Systems – Procs. of TestCom 2000, pp. 211–220. Kluwer Academic Publishers, Dordrecht (2000)
Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)
de Vries, R.G., Tretmans, J.: On-the-Fly Conformance Testing using Spin. Software Tools for Technology Transfer 2, 382–393 (2000)
Garavel, H.: OPEN/CAESAR: An Open Software Architecture for Verfication, Simulation and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 68–84. Springer, Heidelberg (1998)
Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall Inc., Englewood Cliffs (1991)
de Vries, R.G.: Towards Formal Test Purposes. In: Tretmans, J., Brinksma, E. (eds.) Formal Approaches to Testing of Software 2001 (FATES 2001). BRICS Notes Series (NS-01-4), pp. 61–76 (2001)
Bos, V., Kleijn, J.: Formal specification and analysis of production systems. In: Proceedings of the 16th International Conference on Production Research (2001)
van Beek, D., van der Ham, A., Rooda, J.: Modelling and Control of Process Industry Batch Production Systems. In: 15th Triennial World Congress of the International Federation of Automatic Control (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Osch, M. (2005). Automated Model-Based Testing of χ Simulation Models with TorX . In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds) Quality of Software Architectures and Software Quality. QoSA SOQUA 2005 2005. Lecture Notes in Computer Science, vol 3712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558569_17
Download citation
DOI: https://doi.org/10.1007/11558569_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29033-9
Online ISBN: 978-3-540-32056-2
eBook Packages: Computer ScienceComputer Science (R0)