Towards Test Coverage Criteria for Visual Contracts

Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado

Abstract


When testing component-based or service-oriented applications we cannot always rely on coverage criteria based on source code. Instead, we have to express our requirements for testing at the interface level. Specifying interfaces by graph transformation rules, so-called visual contracts, we define model-based coverage criteria exploiting the well-known relations of causal dependency and conflict on transformation rules.

To this end we establish an observational semantics for graph transformation systems with rule signatures formalising a notion of test execution, and define dependency graphs to provide a structure on which coverage can be analysed.


Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.41.667

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.41.667.684

Hosted By Universit├Ątsbibliothek TU Berlin.