Appyling model-based testing to a train control system
Abstract
In this paper, we report on lessons learned with the application of model-based testing for the system validation of an embedded train control system. The applied approach is based on UML diagrams annotated with category-partition information. The approach consists of modeling, that is, creating UML use cases and activity diagrams from existing documentation, enhancing the models with testing requirements such as test coverage information and data variations, generating test cases in the form of executable scripts, and finally executing the test cases on a simulator in order to stimulate the application under test and verify its response automatically. This paper illustrates all these phases with an example from a train controller development project and proceeds to show that the approach is especially useful for verifying systems that can run in a simulated environment.
- Citation
- BibTeX
Didrich, K., Herbst, S. & Vieira, M.,
(2006).
Appyling model-based testing to a train control system.
In:
Hochberger, C. & Liskowsky, R.
(Hrsg.),
INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI).
Bonn:
Gesellschaft für Informatik e.V..
(S. 249-256).
@inproceedings{mci/Didrich2006,
author = {Didrich, Klaus AND Herbst, Stefan AND Vieira, Marlon},
title = {Appyling model-based testing to a train control system},
booktitle = {INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 249-256 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Didrich, Klaus AND Herbst, Stefan AND Vieira, Marlon},
title = {Appyling model-based testing to a train control system},
booktitle = {INFORMATIK 2006 – Informatik für Menschen – Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2006},
editor = {Hochberger, Christian AND Liskowsky, Rüdiger} ,
pages = { 249-256 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Dateien | Groesse | Format | Anzeige | |
---|---|---|---|---|
GI-Proceedings-94-33.pdf | 235.4Kb | View/ |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-188-1
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2006
Language:
(en)

Content Type: Text/Conference Paper