IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model-based test generation techniques verifying the on-board module of a satellite-based train control system model

2013 IEEE International Conference on Intelligent Rail Transportation (ICIRT)

Author(s): Daohua Wu ; Eckehard Schnieder ; Jan Krause
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2013
Conference Location: Beijing, China
Conference Date: 30 August 2013
Page(s): 274 - 279
DOI: 10.1109/ICIRT.2013.6696307
Regular:

Testing as a means of verification during system development, aims at demonstrating the compliance of actual and intended behaviours of the system. However, the degree of automatic test generation... View More

Advertisement