Static Fault Localization in Model Transformations


Because the complexity of model transformations grows, there is an increasing would like to count on methods, mechanisms, and tools for checking their correctness, i.e., the alignment between specifications and implementations. In this paper we tend to present a lightweight-weight and static approach for locating the faulty rules in model transformations, based on matching functions that automatically establish these alignments using the metamodel footprints, i.e., the metamodel elements used. The approach is implemented for the mixture of Tracts and ATL, each residing in the Eclipse Modeling Framework, and is supported by the corresponding toolkit. An evaluation discussing the accuracy and the limitations of the approach is also provided. Furthermore, we have a tendency to establish the kinds of transformations that are most suitable for validation with the proposed approach and use mutation techniques to evaluate its effectiveness.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : GarNet++: Improving Fast and Accurate Static 3D Cloth Draping by Curvature Loss ABSTRACT: In this paper, we address the issue of static cloth draping on virtual human bodies using three-dimensional models. We present
PROJECT TITLE :A New Harmonic Reduced 3-phase Thyristor Controlled Reactor for Static VAR Compensators - 2017ABSTRACT:A brand new thyristor-controlled reactor scheme is presented during this paper, in which the total bank is split
PROJECT TITLE: Efficient Static D-Latch Standard Cell Characterization Using a Novel Setup Time Model - 2015 ABSTRACT: During this project we have a tendency to propose a straightforward setup time model for a transmission gate
PROJECT TITLE: A Method of One-Pass Seed Generation for LFSR-Based Deterministic/Pseudo-Random Testing of Static Faults - 2015 ABSTRACT: This project proposes a methodology of LFSR seed generation for deterministic and pseudo-random
PROJECT TITLE :Restoration-Based Procedures With Set Covering Heuristics for Static Test Compaction of Functional Test Sequences (2014)ABSTRACT :The goal of static test compaction is to reduce the number or tests, or the lengths

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry