direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Olga Runge

Testing against Visual Contracts: Model-Based Coverage
Zitatschlüssel KRH12
Autor Khan, Tamim Ahmed and Runge, Olga and Heckel, Reiko
Buchtitel Proc. Int. Conf. on Graph Transformations
Seiten 279-293
Jahr 2012
ISBN 978-3-642-33653-9
DOI 10.1007/978-3-642-33654-6_19
Jahrgang 7562
Herausgeber Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans-Jörg and Rozenberg, Grzegorz
Verlag Springer Berlin Heidelberg
Serie Lecture Notes in Computer Science
Zusammenfassung 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 zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe