direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications Olga Runge

Visual Contracts as Test Oracle in AGG 2.0
Citation key KRH12a
Author Khan, Tamim and Runge, Olga and Heckel, Reiko
Title of Book Proceedings of the 11th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'12)
Year 2012
ISBN ISSN 1863-2122
Journal ECEASST
Volume 47
Editor Andrew Fish and Leen Lambers
Publisher European Association of Software Science and Technology
Abstract 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 to publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe