NDLI: Towards locating execution omission errors

Content Provider	ACM Digital Library
Author	Zhang, Xiangyu Tallam, Sriraman Gupta, Neelam Gupta, Rajiv
Abstract	Execution omission errors are known to be difficult to locate using dynamic analysis. These errors lead to a failure at runtime because of the omission of execution of some statements that would have been executed if the program had no errors. Since dynamic analysis is typically designed to focus on dynamic information arising from executed statements, and statements whose execution is omitted do not produce dynamic information, detection of execution omission errors becomes a challenging task. For example, while dynamic slices are very effective in capturing faulty code for other types of errors, they fail to capture faulty code in presence of execution omission errors. To address this issue relevant slices have been defined to consider certain static dependences (called potential dependences) in addition to dynamic dependences. However, due to the conservative nature of static analysis, overly large slices are produced. In this paper, we propose a fully dynamic solution to locating execution omission errors using dynamic slices. We introduce the notion of implicit dependences which are dependences that are normally invisible to dynamic slicing due to the omission of execution of some statements. We design a dynamic method that forces the execution of the omitted code by switching outcomes of relevant predicates such that those implicit dependences are exposed and become available for dynamic slicing. Dynamic slices can be computed and effectively pruned to produce fault candidate sets containing the execution omission errors. We solve two main problems: verifying the existence of a single implicit dependence through predicate switching, and recovering the implicit dependences in a demand driven manner such that a small number of verifications are required before the root cause is captured. Our experiments show that the proposed technique is highly effective in capturing execution omission errors.
Starting Page	415
Ending Page	424
Page Count	10
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/1273442.1250782
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	42
Issue Number	6
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Implicit dependence Predicate switching Debugging Relevant slicing Potential dependence Execution omission
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Towards locating execution omission errors

Abstract Towards Locating Execution Omission Errors

Abstract towards locating execution omission errors.

Cost effective dynamic program slicing

Isolating and understanding concurrency errors using reconstructed execution fragments

CheckCell:data debugging for spreadsheets

Slicing Z specifications

Slicing spreadsheets:an integrated methodology for spreadsheet testing and debugging

Slicing object-oriented java programs

Towards locating execution omission errors

Similar Documents

Towards locating execution omission errors

Abstract Towards Locating Execution Omission Errors

Abstract towards locating execution omission errors.

Cost effective dynamic program slicing

Isolating and understanding concurrency errors using reconstructed execution fragments

CheckCell:data debugging for spreadsheets

Slicing Z specifications

Slicing spreadsheets:an integrated methodology for spreadsheet testing and debugging

Slicing object-oriented java programs

Towards locating execution omission errors