Transforming Message Sequence Charts for Testing – Automated Test Code Generation for Different Abstraction Layers

Zusammenfassung
In this paper we describe experiences gained from using Message Sequence Charts (MSCs) for the specification and execution of tests. Using a test code generator (MSC2C) allows us to verify a system under test against the specified sequences. For executing one test specification on different test stages with different interfaces we applied transformation rules that transform abstract MSCs to concrete MSCs for different test stages. The rules are also formulated as MSCs. We demonstrate the approach using aspects from the AUTOSAR network management function.
  • Vollständige Referenz
  • BibTeX
Slotosch, O., (2008). Transforming Message Sequence Charts for Testing – Automated Test Code Generation for Different Abstraction Layers. In: Kühne, T., Reisig, W. & Steimann, F. (Hrsg.), Modellierung 2008. Bonn: Gesellschaft für Informatik e. V.. (S. 253-256).
@inproceedings{mci/Slotosch2008,
author = {Slotosch, Oscar},
title = {Transforming Message Sequence Charts for Testing – Automated Test Code Generation for Different Abstraction Layers},
booktitle = {Modellierung 2008},
year = {2008},
editor = {Kühne, Thomas AND Reisig, Wolfgang AND Steimann, Friedrich} ,
pages = { 253-256 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
253.pdf175.5Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-221-5
ISSN: 1617-5468
Datum: 2008
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige