Smelling Faults in Spreadsheets

被引:27
作者
Abreu, Rui [1 ,2 ]
Cunha, Jacome [1 ,3 ]
Fernandes, Joao Paulo [1 ,4 ]
Martins, Pedro [1 ,5 ]
Perez, Alexandre [1 ,2 ]
Saraiva, Joao [1 ,5 ]
机构
[1] HASLab INESC TEC, Braga, Portugal
[2] Univ Porto, P-4100 Oporto, Portugal
[3] Univ Nova Lisboa, P-1200 Lisbon, Portugal
[4] Univ Beira Interior, RELEASE, Covilha, Portugal
[5] Univ Minho, P-4719 Braga, Portugal
来源
2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME) | 2014年
关键词
D O I
10.1109/ICSME.2014.33
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.
引用
收藏
页码:111 / 120
页数:10
相关论文
共 37 条
[1]   Header and unit inference for spreadsheets through spatial analyses [J].
Abraham, R ;
Erwig, M .
2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, :165-172
[2]   UCheck: A spreadsheet type checker for end users [J].
Abraham, Robin ;
Erwig, Martin .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2007, 18 (01) :71-95
[3]  
Abraham R, 2007, PROC INT CONF SOFTW, P251
[4]   Mutation Operators for Spreadsheets [J].
Abraham, Robin ;
Erwig, Martin .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (01) :94-108
[5]  
Abreu R., 2014, SOFTWARE QUAL J, P1
[6]   On the accuracy of spectrum-based fault localization [J].
Abreu, Rui ;
Zoeteweij, Peter ;
van Gemund, Arjan J. C. .
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, :89-+
[7]  
Abreu R, 2006, 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, P39
[8]   Debugging Spreadsheets: A CSP-based Approach [J].
Abreu, Rui ;
Riboira, Andre ;
Wotawa, Franz .
23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, :159-164
[9]   A practical evaluation of spectrum-based fault localization [J].
Abreu, Rui ;
Zoeteweij, Peter ;
Golsteijn, Rob ;
van Gemund, Arjan J. C. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (11) :1780-1792
[10]  
Ahmad Y, 2003, 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, P174