Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Modellierung 2008, 12.-14. Maerz 2008, Berlin P-127, 253-256 (2008).

Gesellschaft fuer Informatik, Bonn
2008


Editors

Thomas Kuehne (ed.), Wolfgang Reisig (ed.), Friedrich Steimann (ed.)


Copyright © Gesellschaft fuer Informatik, Bonn

Contents

Transforming message sequence charts for testing

Oscar Slotosch

Abstract


In this paper we describe experiences gained from using Message Se- quence 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.


Full Text: PDF

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-221-5


Last changed 04.10.2013 18:17:03