Computational & Technology Resources
an online resource for computational,
engineering & technology publications
Civil-Comp Proceedings
ISSN 1759-3433
CCP: 105
Edited by: P. Iványi and B.H.V. Topping
Paper 16

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
2EEIG ERTMS Users Group, Brussels, Belgium

Full Bibliographic Reference for this paper
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)

go to the previous paper
go to the next paper
return to the table of contents
return to the book description