Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6205
Title: Using constraints to diagnose faulty spreadsheets
Authors: Rui Maranhão
Hofer,B
Alexandre Campos Perez
Wotawa,F
Issue Date: 2015
Abstract: Spreadsheets can be viewed as a highly flexible programming environment for end users. Spreadsheets are widely adopted for decision making and may have a serious economical impact for the business. However, spreadsheets are staggeringly prone to errors. Hence, approaches for aiding the process of pinpointing the faulty cells in a spreadsheet are of great value. We present a constraint-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. Therefore, we convert the spreadsheet and a test case to a constraint satisfaction problem. We perform an empirical evaluation with 78 spreadsheets from different sources, where we demonstrate that our approach is light-weight and efficient. From our experimental results, we conclude that ConBug helps end users to pinpoint faulty cells.
URI: http://repositorio.inesctec.pt/handle/123456789/6205
http://dx.doi.org/10.1007/s11219-014-9236-4
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00A-99D.pdf434.61 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.