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. Key words: graph transformation, testing, test generation, pattern matching
This paper presents an efficient solution for modeling checking graph transformation systems. The ap...
International audienceWith the increasing use of models for software development and the emergence o...
Model checking is increasingly popular for hardware and, more recently, software verification. In th...
AbstractWe present a method for testing the implementation of graph transformation specifications fo...
Abstract: Model transformations (MT) are a core building block of Model-Driven Engineering. The qual...
Code generators are widely used in the development of embedded software to automatically generate ex...
International audienceIn MDE, model transformations should be efficiently tested so that it may be u...
Software testing verifies and validates software systems. Mutation testing is a testing procedure wh...
The verification of systems with respect to a desired set of behavioural properties is a crucial ste...
Model transformation (MT) is a key technology in the model-driven development approach of software e...
Test concepts mostly refer to program code and not to models used in earlier stages of the software ...
Computer software is increasingly applied to processing data that are not only in large volumes but ...
Metamorphic testing provides a means by which to generate succinct test oracles that can apply to la...
Cause-effect graphs are a popular black-box testing technique. The most commonly used approach for g...
Abstract: Despite the large variety of existing graph transformation tools, the im-plementation of t...
This paper presents an efficient solution for modeling checking graph transformation systems. The ap...
International audienceWith the increasing use of models for software development and the emergence o...
Model checking is increasingly popular for hardware and, more recently, software verification. In th...
AbstractWe present a method for testing the implementation of graph transformation specifications fo...
Abstract: Model transformations (MT) are a core building block of Model-Driven Engineering. The qual...
Code generators are widely used in the development of embedded software to automatically generate ex...
International audienceIn MDE, model transformations should be efficiently tested so that it may be u...
Software testing verifies and validates software systems. Mutation testing is a testing procedure wh...
The verification of systems with respect to a desired set of behavioural properties is a crucial ste...
Model transformation (MT) is a key technology in the model-driven development approach of software e...
Test concepts mostly refer to program code and not to models used in earlier stages of the software ...
Computer software is increasingly applied to processing data that are not only in large volumes but ...
Metamorphic testing provides a means by which to generate succinct test oracles that can apply to la...
Cause-effect graphs are a popular black-box testing technique. The most commonly used approach for g...
Abstract: Despite the large variety of existing graph transformation tools, the im-plementation of t...
This paper presents an efficient solution for modeling checking graph transformation systems. The ap...
International audienceWith the increasing use of models for software development and the emergence o...
Model checking is increasingly popular for hardware and, more recently, software verification. In th...
Add to ORKG