Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2007 Informatik trifft Logistik Band 2 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-110, 421-426 (2007).

Gesellschaft für Informatik, Bonn
2007


Editors

Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.), Rainer Koschke (ed.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Executing Abstract Test Cases

M. Weiglhofer , F. Wotawa and B. Peischl

Abstract


Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a rule based test execution framework, which allows the execution of abstract test cases. Furthermore, we present first results from testing a so called SIP Registrar by executing abstract test cases derived with the TGV tool from a formal specification.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-206-1


Last changed 04.10.2013 18:15:09