کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423259 685195 2008 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Towards Testing the Implementation of Graph Transformations
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Towards Testing the Implementation of Graph Transformations
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 211, 28 April 2008, Pages 75-85