TU Berlin

Theor. Informatik / Formale SpezifikationOlga Runges Publikationen

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

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 Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe