RT-Tester’s Model-based Testing Component RTT-MBT Creates Test Data for the ETCS Onboard Controller

In collaboration with a research team at the University of Bremen, Verified Systems International GmbH has published a SysML model of the Ceiling Speed Control function specified for the ETCS onboard controller, the so-called European Vital Computer (EVC). This model model is publicly available for practitioners and researchers who are interested in model-based testing. It is shown how different test strategies – all of them implemented in RTT-MBT – possess different test strength for uncovering specific errors that might be present in an EVC implementation. In particular, the capabilities of a novel equivalence class testing strategy that has recently been implemented in RTT-MBT are illustrated. A technical report decribing the underlying theory and its practical application is publicly available: A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor. A summary of the results have been published as:

Cécile Braunstein, Anne Elisabeth Haxthausen, Wen-ling Huang, Felix Hübner, Jan Peleska, Uwe Schulze, Linh Vu Hong: Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. ICFEM 2014: 380-395

Offprint request: jp@verified.de