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

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

View graph of relations

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 languageEnglish
Title of host publicationFormal Methods and Software Engineering : Proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014
PublisherSpringer
Publication date2014
Pages380-395
ISBN (print)978-3-319-11736-2
ISBN (electronic)978-3-319-11737-9
DOIs
StatePublished - 2014
EventICFEM 2014 - Luxembourg, Luxembourg

Conference

ConferenceICFEM 2014
Number16
LocationMeliá Hotel
CountryLuxembourg
CityLuxembourg
Period03/11/201407/11/2014
Internet address
SeriesLecture Notes in Computer Science
Volume8829
ISSN0302-9743
CitationsWeb of Science® Times Cited: No match on DOI

    Keywords

  • Model-based testing, Equivalence class partition testing, SysML, European Train Control System ETCS, Ceiling Speed Monitoring
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 100888635