Towards Testing the Implementation of Graph Transformations

A, Darabos; A, Pataricza [Pataricza, András (Számítástechnika,...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); D, Varró [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
  • SJR Scopus - Computer Science (miscellaneous): Q2
Azonosítók
Szakterületek:
    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.
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-19 10:48