Dynamic invariant prioritization-based fault localization

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The Differences in a dynamic invariant provides an important clue to analyzing and locating software faults. However, generating a dynamic invariant is costly and generates noise that might be not related to the fault. In this paper, we propose a new technique called Dynamic Invariant Prioritization-based Fault Localization (DIPFL). This technique reduces the noise by prioritizing the variable by observing the change in the value of the invariant that is extracted based on the number of test cases. The DIPFL identifies the location of a fault by re-measuring the weight of the list of suspiciousness score ranking of the spectrum-based fault localization based on the priority data. We evaluated the proposed method by applying it to the Siemens project, which has been used as benchmark for various fault localization studies. Through the 118 versions, we verified the performance enhancement of 53.39%. Also, when evaluated using the EXAM score metrics, DIPFL improved performance by up to 14.7% over Naish2 when running 5% of the source code.

Original languageEnglish
Title of host publicationProceedings of the 13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019
EditorsHyunseung Choo, Sukhan Lee, Roslan Ismail
PublisherSpringer Verlag
Pages682-693
Number of pages12
ISBN (Print)9783030190620
DOIs
StatePublished - 2019
Event13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019 - Phuket, Thailand
Duration: 4 Jan 20196 Jan 2019

Publication series

NameAdvances in Intelligent Systems and Computing
Volume935
ISSN (Print)2194-5357
ISSN (Electronic)2194-5365

Conference

Conference13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019
Country/TerritoryThailand
CityPhuket
Period4/01/196/01/19

Keywords

  • Dynamic invariant
  • Fault localization
  • Prioritization
  • Software debugging

Fingerprint

Dive into the research topics of 'Dynamic invariant prioritization-based fault localization'. Together they form a unique fingerprint.

Cite this