direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Olga Runge

Visual Contracts as Test Oracle in AGG 2.0
Zitatschlüssel KRH12a
Autor Khan, Tamim and Runge, Olga and Heckel, Reiko
Buchtitel Proceedings of the 11th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'12)
Jahr 2012
ISBN ISSN 1863-2122
Journal ECEASST
Jahrgang 47
Herausgeber Andrew Fish and Leen Lambers
Verlag European Association of Software Science and Technology
Zusammenfassung A test oracle predicts expected outcomes for a set of test cases, often based on a formal, executable specification. Visual contracts are graph transformation rules describing pre- and post-conditions of a service’s operations. To obtain an oracle based on visual contracts, we use the Attributed Graph Grammar System (AGG) to execute the rules, creating a simulation of the behaviour expected of the system under test. The paper discusses the basic idea, illustrates it by an example, describes the challenges and solutions of its implementation and draws conclusions for the use of graph transformation and AGG in test oracles.
Link zur Publikation [1] Download Bibtex Eintrag [2]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008