NDLI: Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

Content Provider	Springer Nature Link
Author	Jannach, Dietmar Schmitz, Thomas
Copyright Year	2014
Abstract	Spreadsheet programs are probably the most successful example of end-user software development tools and are used for a variety of purposes. Like any type of software, they are prone to error, in particular as they are usually developed by non-programmers. While various techniques exist to support the developer in finding errors in procedural programs, the tool support for spreadsheet debugging is still limited. In this paper, we show how techniques from model-based diagnosis can be applied and extended for spreadsheet debugging by translating the relevant parts of a spreadsheet to a constraint satisfaction problem. We additionally propose both problem-specific and generalizable extensions to the classical diagnosis algorithms which help to detect potential problems in a spreadsheet based on user-provided test cases more efficiently. The proposed techniques were integrated into a modular framework for spreadsheet debugging and evaluated with respect to scalability based on a number of real-world and artificially created spreadsheets. An additional error detection exercise involving 24 subjects was performed to assess the general applicability of such advanced spreadsheet debugging techniques for end users.
Starting Page	105
Ending Page	144
Page Count	40
File Format	PDF
ISSN	09288910
Journal	Automated Software Engineering
Volume Number	23
Issue Number	1
e-ISSN	15737535
Language	English
Publisher	Springer US
Publisher Date	2014-02-12
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Model-based diagnosis Constraints Spreadsheet programs Artificial Intelligence (incl. Robotics) Software Engineering/Programming and Operating Systems
Content Type	Text
Resource Type	Article
Subject	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

Debugging DVM Programs

Dynamic Query-Based Debugging of Object-Oriented Programs

Relative Debugging of Automatically Parallelized Programs

Model Checking Programs

Constraint Based World Modeling for Multi Agent Systems in Dynamic Environments

Interactive debugging of parallel programs: Distributed scheme of interacting components

Static and Dynamic Slicing of Constraint Logic Programs

Algorithmic Debugging and Hypothetical Reasoning

Interview with Pascal Van Hentenryck on Constraint-Based Programming

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

Similar Documents

Debugging DVM Programs

Dynamic Query-Based Debugging of Object-Oriented Programs

Relative Debugging of Automatically Parallelized Programs

Model Checking Programs

Constraint Based World Modeling for Multi Agent Systems in Dynamic Environments

Interactive debugging of parallel programs: Distributed scheme of interacting components

Static and Dynamic Slicing of Constraint Logic Programs

Algorithmic Debugging and Hypothetical Reasoning

Interview with Pascal Van Hentenryck on Constraint-Based Programming

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach