Abstract

Model transformations and model-driven engineering (MDE) have been applied widely in service-oriented architecture based information systems. To support the development of such a service-oriented information system, it is necessary to guarantee the quality of model transformations. With the increasing complexity and scale of model transformations, debugging of model transformations becomes more and more time-consuming and difficult, there is an increasing need to rely on efficient and accurate fault localization approaches to help with debugging. Among the existing fault localization approaches, the spectrum-based fault localization (SBFL), as a dynamic analysis method, mainly used the coverage information and execution results of the rules of model transformation to estimate the probability of each rule may be faulty. However, there are many false-positive and false-negative results in the rule coverage information, the accuracy of the SBFL is not ideal, so we consider mining the impact of covered range in different test models to further improve the effectiveness of fault localization. In this paper, we propose an optimized strategy of fault localization based on the impact of the test model, according to the covered range of test models, weight values are assigned to different test models, and the statistical coverage information of rules are weighted and adjusted accordingly. We compare the proposed approach with the SBFL, the experimental results show that under the same techniques for computing the suspiciousness, our approach can help locate around 26% more faulty rules in the ranking Top-1 of the suspicious list than the SBFL, the effectiveness of fault localization techniques can be improved by 50.42% in the best case and 8.9% in the average case.

Highlights

  • The emerging of service-oriented architecture (SOA) has revolutionized the development paradigm of information systems, enabling the implementation of enterprise processes and workflows with service compositions

  • model-driven engineering (MDE) abstracts the model describing software systems into the platform-independent model (PIM) and platform-specific model (PSM): PIM a formal description of the business functions of the system, not involving the specific application platform, and PSM describes the technical implementation of PIM on specific platforms

  • The MDE-based software development process essentially implements a mapping from PIM to PSM and from PSM to code, where the mapping between different models is automatically implemented through model transformation

Read more

Summary

INTRODUCTION

The emerging of service-oriented architecture (SOA) has revolutionized the development paradigm of information systems, enabling the implementation of enterprise processes and workflows with service compositions. The spectrum-based fault localization (SBFL) [11], is of better accuracy than the static analysis It analyzes the execution coverage information of the rules under the passing and failing test models, applies the statistical analysis approaches [12], [13], and calculates the suspicious score for each rule, providing a list of suspicious rules rankings that reflect the most relevant part of the fault. To improve the effectiveness of fault localization, this paper proposes to use the impact of different test models by covering the number of rules in test models, and adjust the list of suspicious rules of the spectrum . According to the weights of different test models, the spectrum information of test models covered rules is adjusted to improve the fault localization effectiveness of the spectrum approach.

MOTIVATING EXAMPLE
PRELIMINARY
STATIC INHERITANCE ANALYSIS
WEIGHTED-BASED SPECTRUM OF FAULT LOCALIZATION
EXPERIMENT
EVALUATION METRICS
Findings
VIII. CONCLUSION AND FUTURE WORK
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call