Towards Testing the Implementation of Graph Transformations

Authors:
Andrea Darabos;András Pataricza;Dániel Varró
Affiliations:
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 4
Cited 2

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Confluence of Typed Attributed Graph Transformation Systems

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Defining and validating transformations of UML models

HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Automatic conformance testing of web services

FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering

Test-Driven Development of Model Transformations

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Engineering model transformations with transML

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a method for testing the implementation of graph transformation specifications focusing on test case generation for graph pattern matching. We propose an extensible fault model for the implementation of transformations based on common programmer faults and the technicalities of graph transformations. We integrate traditional hardware testing (combinational circuits) and software testing techniques (mutant generation) for generating test cases.