Automated Model-Based Testing of χ Simulation Models with TorX

  • Michiel van Osch
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3712)


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.


Simulation Model Test Tool System Under Test Translation Scheme Implementation Under Test 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Mathworks (2005),
  2. 2.
    Instruments, N. (2005),
  3. 3.
    Stobie, K.: Model Based Testing in Practice at Microsoft. In: Proceedings of MBT 2004 (2004)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)zbMATHGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Hofkanp, A., Rooda, J.: χ Reference Manual. In: Mechanical Engineering Department, Systems Engineering group, Eindhoven University of Technology, Eindhoven, The Netherlands (2002)Google Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    de Resyste, C. (2005),
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    de Vries, R.G., Tretmans, J.: On-the-Fly Conformance Testing using Spin. Software Tools for Technology Transfer 2, 382–393 (2000)zbMATHCrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Holzmann, G.: Design and Validation of Computer Protocols. Prentice Hall Inc., Englewood Cliffs (1991)Google Scholar
  17. 17.
    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)Google Scholar
  18. 18.
    Bos, V., Kleijn, J.: Formal specification and analysis of production systems. In: Proceedings of the 16th International Conference on Production Research (2001)Google Scholar
  19. 19.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Michiel van Osch
    • 1
  1. 1.Department of Mathematics and Computer ScienceEindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations