PROJECT TITLE :

Static Fault Localization in Model Transformations

ABSTRACT:

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 :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
PROJECT TITLE :Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data MiningABSTRACT:Although a giant analysis effort on net application security has been happening for more than a decade, the protection

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

Project Enquiry