Vi presenterar en metod för att testa genomförandet av graf transformation specifikationer med fokus på test fallgenerering för graf mönster matchning. Vi föreslår en extensibel felmodell för genomförandet av omvandlingar baserade på gemensamma programmerarfel och de tekniska aspekterna av grafomvandlingar. Vi integrerar traditionella hårdvarutester (kombinationella kretsar) och mjukvarutesttekniker (mutant generering) för att generera testfall.
Till exempel, i REF, skapar författarna testmodeller för att testa mönstret matchande algoritm för graf transformation motorer.
Towards Testing the Implementation of Graph Transformations
{'venue': 'In Proceedings of the 5th International Workshop on Graph Transformations and Visual Modeling Techniques', 'journal': None, 'mag_field_of_study': ['Computer Science']}