Executing Abstract Test Cases

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Peischl, B., Weiglhofer, M. & Wotawa, F., (2007). Executing Abstract Test Cases. In: Herzog, O., Rödiger, K.-H., Ronthaler, M. & Koschke, R. (Hrsg.), Informatik 2007 – Informatik trifft Logistik – Band 2. Bonn: Gesellschaft für Informatik e. V.. (S. 421-426).
@inproceedings{mci/Peischl2007,
author = {Peischl, Bernhard AND Weiglhofer, Martin AND Wotawa, Franz},
title = {Executing Abstract Test Cases},
booktitle = {Informatik 2007 – Informatik trifft Logistik – Band 2},
year = {2007},
editor = {Herzog, Otthein AND Rödiger, Karl-Heinz AND Ronthaler, Marc AND Koschke, Rainer} ,
pages = { 421-426 },
publisher = {Gesellschaft für Informatik e. V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
421.pdf141.1Kb PDF Öffnen

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

Mehr Information

ISBN: 978-3-88579-206-1
ISSN: 1617-5468
Datum: 2007
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige