Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor

Cécile Braunstein; Anne Elisabeth Haxthausen; Wen-ling Huang; Felix Hübner; Jan Peleska; Uwe Schulze; Linh Hong Vu

doi:10.1007/978-3-319-11737-9_25

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor

Cécile Braunstein
, Anne Elisabeth Haxthausen
, Wen-ling Huang
, Felix Hübner
, Jan Peleska
, Uwe Schulze
, Linh Hong Vu

Department of Applied Mathematics and Computer Science

University of Bremen
University of Hamburg

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

2047 Downloads (Orbit)

Abstract

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.

Original language	English
Title of host publication	Formal Methods and Software Engineering : Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014
Publisher	Springer
Publication date	2014
Pages	380-395
ISBN (Print)	978-3-319-11736-2
ISBN (Electronic)	978-3-319-11737-9
DOIs	https://doi.org/10.1007/978-3-319-11737-9_25
Publication status	Published - 2014
Event	ICFEM 2014 - Meliá Hotel, Luxembourg, Luxembourg Duration: 3 Nov 2014 → 7 Nov 2014 Conference number: 16 http://icfem2014.uni.lu/index.php

Conference

Conference	ICFEM 2014
Number	16
Location	Meliá Hotel
Country/Territory	Luxembourg
City	Luxembourg
Period	03/11/2014 → 07/11/2014
Internet address	http://icfem2014.uni.lu/index.php

Series	Lecture Notes in Computer Science
Volume	8829
ISSN	0302-9743

Keywords

Model-based testing
Equivalence class partition testing
SysML
European Train Control System ETCS
Ceiling Speed Monitoring

Access to Document

10.1007/978-3-319-11737-9_25

MainAccepted author manuscript, 630 KB

OpenUrl availability

Check availability in DTU Findit

Cite this

Braunstein, C., Haxthausen, A. E., Huang, W., Hübner, F., Peleska, J., Schulze, U., & Vu, L. H. (2014). Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. In Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014 (pp. 380-395). Springer. https://doi.org/10.1007/978-3-319-11737-9_25

@inproceedings{8121e09d6cfc4e369b846afef5e501f9,

title = "Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor",

abstract = "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.",

keywords = "Model-based testing, Equivalence class partition testing, SysML, European Train Control System ETCS, Ceiling Speed Monitoring",

author = "C{\'e}cile Braunstein and Haxthausen, \{Anne Elisabeth\} and Wen-ling Huang and Felix H{\"u}bner and Jan Peleska and Uwe Schulze and Vu, \{Linh Hong\}",

year = "2014",

doi = "10.1007/978-3-319-11737-9\_25",

language = "English",

isbn = "978-3-319-11736-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "380--395",

booktitle = "Formal Methods and Software Engineering",

note = "ICFEM 2014, International Conference on Formal Engineering Methods ; Conference date: 03-11-2014 Through 07-11-2014",

url = "http://icfem2014.uni.lu/index.php",

}

Braunstein, C, Haxthausen, AE, Huang, W, Hübner, F, Peleska, J, Schulze, U & Vu, LH 2014, Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. in Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, Lecture Notes in Computer Science, vol. 8829, pp. 380-395, ICFEM 2014, Luxembourg, Luxembourg, 03/11/2014. https://doi.org/10.1007/978-3-319-11737-9_25

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. / Braunstein, Cécile; Haxthausen, Anne Elisabeth; Huang, Wen-ling et al.
Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer, 2014. p. 380-395 (Lecture Notes in Computer Science, Vol. 8829).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor

AU - Braunstein, Cécile

AU - Haxthausen, Anne Elisabeth

AU - Huang, Wen-ling

AU - Hübner, Felix

AU - Peleska, Jan

AU - Schulze, Uwe

AU - Vu, Linh Hong

N1 - Conference code: 16

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Model-based testing

KW - Equivalence class partition testing

KW - SysML

KW - European Train Control System ETCS

KW - Ceiling Speed Monitoring

U2 - 10.1007/978-3-319-11737-9_25

DO - 10.1007/978-3-319-11737-9_25

M3 - Article in proceedings

SN - 978-3-319-11736-2

T3 - Lecture Notes in Computer Science

SP - 380

EP - 395

BT - Formal Methods and Software Engineering

PB - Springer

T2 - ICFEM 2014

Y2 - 3 November 2014 through 7 November 2014

ER -

Braunstein C, Haxthausen AE, Huang W, Hübner F, Peleska J, Schulze U et al. Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. In Formal Methods and Software Engineering: Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014. Springer. 2014. p. 380-395. (Lecture Notes in Computer Science, Vol. 8829). doi: 10.1007/978-3-319-11737-9_25

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this