Debugging Spreadsheets: A CSP-based Approach
- Citation:
- Abreu R, Riboira A, Wotawa F. 2012. Debugging Spreadsheets: A CSP-based Approach. IEEE 23rd International Symposium on Software Reliability Engineering Workshops - ISSREW. :159–164.
Date Presented:
NovemberAbstract:
Despite being staggeringly error prone, spreadsheets can be viewed as a highly flexible end-users programming environment. As a consequence, spreadsheets are widely adopted for decision making, and may have a serious economical impact for the business. Hence, approaches for aiding the process of pinpointing the faulty cells in a spreadsheet are of great value. We present a constrain-based approach, CONBUG, for debugging spreadsheets. The approach takes as input a (faulty) spreadsheet and a test case that reveals the fault and computes a set of diagnosis candidates for the debugging problem we are trying to solve. To compute the set of diagnosis candidates we convert the spreadsheet and test case to a constraint satisfaction problem. From our experimental results, we conclude that CONBUG can be of added value for the end user to pinpoint faulty cells.
Citation Key:
abreu2012debuggingDOI:
10.1109/ISSREW.2012.31
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.