Computational Technology Resources - CCP

M. Meyer zu Hörste¹, L. Asbach¹, O. Röwer¹ and S. Geraci²

¹German Aerospace Centre (DLR), Institute of Transportation Systems, Braunschweig, Germany
²EEIG ERTMS Users Group, Brussels, Belgium

doi:10.4203/ccp.105.16

purchase the full-text of this paper

, "Testing Automation based on Formalised Test Case Generation", in , (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.

Summary

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
purchase this book (price £45 +P&P)

	Computational & Technology Resources an online resource for computational, engineering & technology publications
	not logged in - login
Front Page Browse CCP CSETS CTR IJRT Other Authors Search Purchase Guide FAQ Contact us	Civil-Comp Proceedings ISSN 1759-3433 CCP: 105 PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY Edited by: Paper 16 Testing Automation based on Formalised Test Case Generation M. Meyer zu Hörste¹, L. Asbach¹, O. Röwer¹ and S. Geraci² ¹German Aerospace Centre (DLR), Institute of Transportation Systems, Braunschweig, Germany ²EEIG ERTMS Users Group, Brussels, Belgium doi:10.4203/ccp.105.16 purchase the full-text of this paper Full Bibliographic Reference for this paper , "Testing Automation based on Formalised Test Case Generation", in , (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. Summary 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 purchase this book (price £45 +P&P)
Back to top	©Civil-Comp Limited 2023 - terms & conditions