NDLI: A framework of an assertion-based algorithmic debugging for distributed programs

Content Provider	IEEE Xplore Digital Library
Author	Ohta, T. Kinoshita, H. Kimata, T. Mizuno, T.
Copyright Year	2001
Description	Author affiliation: Dept. of Comput. Sci., Shizuoka Univ., Hamamatsu, Japan (Ohta, T.)
Abstract	The article presents a framework and an assertion based prototype system of an algorithmic debugging for distributed programs written in procedural languages. First, an abstraction of previous related works is presented and we argue that an algorithmic debugging is a pruning process of a directed graph. Second, we present how to concrete the abstract method for distributed procedural languages. The method is divided into two phases. The purpose of the first phase is to reduce a range of erroneous program codes that cause a global state anomaly. We use only a global state in this phase. In the second phase, we locate a fault only using local states of processes. Third, we describe an overview of our prototype system based on the framework. The system is based on a replaying technique. We also show an automatic method for the first phase by using an assertion technique. Finally, the limitations of this approach and future work is presented. The major contribution of the paper is as follows. First, separating the treatment of global and local anomaly by dividing debugging processes into two phases enables us to apply algorithmic debugging to distributed programs. Second, we can use appearable execution points instead of actually appearing execution points to check whether the execution is correct or not, and third, we show an automatic operation of the first phase to avoid troublesome global state checking and to aim the range of codes which may contain fault.
Sponsorship	IEEE Comput. Soc.
Starting Page	319
Ending Page	324
File Size	542810
Page Count	6
File Format	PDF
ISBN	0769509517
DOI	10.1109/ICOIN.2001.905446
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2001-01-31
Publisher Place	Japan
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Debugging Prototypes Tree graphs Computer science System recovery History Visualization Logic programming Concrete Fault diagnosis
Content Type	Text
Resource Type	Article

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 an algorithmic debugging for distributed programs

Algorithmic software fault localization

IGIP: a framework towards open-ended visual programming

Visual debugging of multithreaded Java programs

Visualization of Strand processes

Graphical representation and execution animation for Prolog programs

A visualization tool for constraint program debugging

Visualization of test information to assist fault localization

A visualization-based environment for top-down debugging of parallel programs

A framework of an assertion-based algorithmic debugging for distributed programs

Similar Documents

Towards an algorithmic debugging for distributed programs

Algorithmic software fault localization

IGIP: a framework towards open-ended visual programming

Visual debugging of multithreaded Java programs

Visualization of Strand processes

Graphical representation and execution animation for Prolog programs

A visualization tool for constraint program debugging

Visualization of test information to assist fault localization

A visualization-based environment for top-down debugging of parallel programs

A framework of an assertion-based algorithmic debugging for distributed programs