direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications Olga Runge

Testing against Visual Contracts: Model-Based Coverage
Citation key KRH12
Author Khan, Tamim Ahmed and Runge, Olga and Heckel, Reiko
Title of Book Proc. Int. Conf. on Graph Transformations
Pages 279-293
Year 2012
ISBN 978-3-642-33653-9
DOI 10.1007/978-3-642-33654-6_19
Volume 7562
Editor Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz
Publisher Springer Berlin Heidelberg
Series Lecture Notes in Computer Science
Abstract Testing service-oriented or component-based systems poses new challenges due to the non-availability of code and the distributed nature of the applications being tested. Structural coverage criteria, traditionally used to assess test suites, require access to code. As an alternative we consider model-based criteria based on interface specifications using visual contracts. Formally represented as graph transformation rules, visual contracts are analysed for potential dependencies and conflicts and dependency graphs are derived for defining the criteria. In order to assess the coverage of a given set of tests, AGG is used for simulating the model while tests are executed. In the course of the simulation, which also serves as a test oracle, conflicts and dependencies are observed and recorded. This allows us to see if the statically detected potential dependencies and conflicts are exercised at runtime. For evaluation purposes, we compare coverage with respect to model-based criteria and traditional structural ones.
Link to publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions