Towards Testing the Implementation of Graph Transformations

Andrea Darabos, András Pataricza, Dániel Varró

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)75-85
Number of pages11
JournalElectronic Notes in Theoretical Computer Science
Volume211
Issue numberC
DOIs
Publication statusPublished - Apr 28 2008

    Fingerprint

Keywords

  • Graph transformation
  • pattern matching
  • test generation
  • testing

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this