Towards Testing the Implementation of Graph Transformations

CímTowards Testing the Implementation of Graph Transformations
Közlemény típusaConference Paper
Kiadás éve2006
SzerzőkDarabos, A., Pataricza, A., and Varró, D.
Konferencia neveProc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques
Kulcsszavakgraph transformation, Pattern matching, test generation, testing
ÖsszefoglalásWe 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.
URL varro/publication/2006/gtvmt2006_dpv.pdf