Conference paper
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor
In this paper we present a new test model written in SysML and an associated blackbox test suite for the Ceiling Speed Monitor (CSM) of the European Train Control System (ETCS). The model is publicly available and intended to serve as a novel benchmark for investigating new testing theories and comparing the capabilities of modelbased test automation tools.
The CSM application inputs velocity values from a domain which could not be completely enumerated for test purposes with reasonable e_ort. We therefore apply a novel method for equivalence class testing that { despite the conceptually in_nite cardinality of the input domains { is capable to produce _nite test suites that are complete (i.e. sound and exhaustive) for a given fault model.
In this paper, an overview of the model and the equivalence class testing strategy is given, and tool-based evaluation results are presented. For the technical details we refer to the published model and a technical report that is also available on the same website.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2014 |
Pages: | 380-395 |
Proceedings: | ICFEM 2014International Conference on Formal Engineering Methods |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | Proceedings of the 16th International Conference on Formal Engineering Methods, Icfem 2014 |
ISBN: | 331911736X , 331911736x , 3319117378 , 9783319117362 and 9783319117379 |
ISSN: | 03029743 |
Types: | Conference paper |
DOI: | 10.1007/978-3-319-11737-9_25 |
ORCIDs: | Haxthausen, Anne Elisabeth |