Coverage Criteria for Testing DMM Specifications

S. Arifulina , C. Soltenborn , G. Engels, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia), European Association of Software Science and Technology (EASST), 2012.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ;
Abstract
Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications of DMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite's models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language's test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite.
Publishing Year
Proceedings Title
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia)
Volume
47
LibreCat-ID

Cite this

Arifulina S, Soltenborn C, Engels G. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia). Vol 47. Electronic Communications of the EASST. European Association of Software Science and Technology (EASST); 2012.
Arifulina , S., Soltenborn , C., & Engels, G. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia) (Vol. 47). European Association of Software Science and Technology (EASST).
@inproceedings{Arifulina _Soltenborn _Engels_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, volume={47}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia)}, publisher={European Association of Software Science and Technology (EASST)}, author={Arifulina , Svetlana and Soltenborn , Christian and Engels, Gregor}, year={2012}, collection={Electronic Communications of the EASST} }
Arifulina , Svetlana , Christian Soltenborn , and Gregor Engels. “Coverage Criteria for Testing DMM Specifications.” In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia), Vol. 47. Electronic Communications of the EASST. European Association of Software Science and Technology (EASST), 2012.
S. Arifulina , C. Soltenborn , and G. Engels, “Coverage Criteria for Testing DMM Specifications,” in Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia), 2012, vol. 47.
Arifulina , Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia), vol. 47, European Association of Software Science and Technology (EASST), 2012.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar