kirancodes.me
To Proof Maintenance & Beyond!
FSE 2011

Fault localization for data-centric programs

Diptikalyan Saha, Mangala Gowri Nanda, Pankaj Dhoolia, V. Krishna Nandivada, Vibha Sinha, Satish Chandra

PDFDOI 10.1145/2025113.2025137dblp

Abstract

In this paper we present an automated technique for localizing faults in data-centric programs. Data-centric programs primarily interact with databases to get collections of content, process each entry in the collection(s), and output another collection or write it back to the database. One or more entries in the output may be faulty. In our approach, we gather the execution trace of a faulty program. We use a novel, precise slicing algorithm to break the trace into multiple slices, such that each slice maps to an entry in the output collection. We then compute the semantic difference between the slices that correspond to correct entries and those that correspond to incorrect ones. The "diff" helps to identify potentially faulty statements.

BibTeX
@inproceedings{Saha-al:FSE11,
  author    = {Diptikalyan Saha and
               Mangala Gowri Nanda and
               Pankaj Dhoolia and
               V. Krishna Nandivada and
               Vibha Sinha and
               Satish Chandra},
  title     = {Fault localization for data-centric programs},
  booktitle = {FSE},
  pages     = {157--167},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers