Automated model-based testing of Χ simulation models with TorX

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3712 LNCS, Issue , 2005, Pages 227-241

  Van Osch, Michiel ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; EMBEDDED SYSTEMS; OPTIMIZATION;

MODEL-BASED TEST-TOOL TORX; PERFORMANCE OPTIMIZATION; SIMULATION MODELS;

MATHEMATICAL MODELS;

EID: 33646170437     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558569_17     Document Type: Conference Paper

References (19)

1. Mathworks: http://www.mathworks.com (2005)
2. Instruments, N.: http://www.ni.com (2005)
3. Stobie, K.: Model Based Testing in Practice at Microsoft. In: Proceedings of MET 2004. (2004)
4. Fernandez, J., Jard, C., T.Jeron, Viho, C.: An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. In Groote, J., Rem, M., eds.: Special Issue of Industrially Relevant Applications fo Formal Analysis Techniques, Elsevier (1996)
5. Farchi, E., Hartman, A., Pinter, S.: Using a Model-based Test Generator to Test for Standard Conformance. Volume 41, Number 1 of IBM Systems Journal. (2002) 89-110
6. Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17 (1996) 103-120
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)
8. Hofkanp, A., Rooda, J.: Χ Reference Manual. Mechanical Engineering Department, Systems Engineering group, Eindhoven University of Technology, Eindhoven, The Netherlands. (2002)
9. van den Mortel-Fronczak, J., Rooda, J.: Application of Concurrent Programming to Specification of Industrial Systems. In: Proceedings of INCOM'95. (1995) 421-426
10. de Resyste, C.: http://fmt.cs.utwente.nl/cdr (2005)
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, Berlin, Germany, Kluwer academic publishers (2002) 210-234
12. Heerink, L., Feenstra, J., Tretmans, J.: Formal Test Automation: The Conference Protocol with PHACT. In Ural, H., Probert, R., Bochmann, G.V., eds.: Testing of Communicating Systems - Procs. of TestCom 2000, Kluwer Academic Publishers (2000) 211-220
13. th Int. Conference on Concurrency Theory. Volume 1664 of Lecture Notes in Computer Science., Springer-Verlag (1999) 46-65
14. de Vries, R., Tretmans, J.: On-the-Fly Conformance Testing using SPIN. Software Tools for Technology Transfer 2 (2000) 382-393
15. Garavel, H.: OPEN/CAESAR: An Open Software Architecture for Verfication, Simulation and Testing. In Steffen, B., ed.: Fourth Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Volume 1384 of Lecture Notes in Computer Science., Springer-Verlag (1998) 68-84
16. Holzmann, G.: Design and Validation of Computer Protocols, Prentice Hall Inc. (1991)
17. R.G. de Vries: Towards Formal Test Purposes. In Tretmans, J., Brinksma, E., eds.: Formal Approaches to Testing of Software 2001 (FATES'01). BRICS Notes Series (NS-01-4) (2001) 61-76
18. Bos, V., Kleijn, J.: Formal specification and analysis of production systems. In: Proceedings of the 16th International Conference on Production Research. (2001)
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)