Computational & Technology Resources
an online resource for computational,
engineering & technology publications
PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY
Edited by: P. Iványi and B.H.V. Topping
Testing Automation based on Formalised Test Case Generation
M. Meyer zu Hörste1, L. Asbach1, O. Röwer1 and S. Geraci2
1German Aerospace Centre (DLR), Institute of Transportation Systems, Braunschweig, Germany
M. Meyer zu Hörste, L. Asbach, O. Röwer, S. Geraci, "Testing Automation based on Formalised Test Case Generation", in P. Iványi, B.H.V. Topping, (Editors), "Proceedings of the Ninth International Conference on Engineering Computational Technology", Civil-Comp Press, Stirlingshire, UK, Paper 16, 2014. doi:10.4203/ccp.105.16
Keywords: ERTMS, ETCS, test, automation, railways.
This paper shows an approach to describe different kinds of tests always in a similar formal setting. The first kind of test represents test sequences to validate specification conformity of a single constituent; here an on-board European Vital Computer (EVC). The second kind are the tests for the validation of operational serviceability. A third kind of test addresses the compatibility of track-side equipment. In conclusion the perspective for the use of these test sequences in a reference laboratory is given.
purchase the full-text of this paper (price £20)