Goal-directed debugging of spreadsheets

被引:26
作者
Abraham, R [1 ]
Erwig, M [1 ]
机构
[1] Oregon State Univ, Sch EECS, Corvallis, OR 97331 USA
来源
2005 IEEE SYMPOSIUM ON VISUAL LANGUAGE AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS | 2005年
关键词
spreadsheet; debugging; static analysis; end-user software engineering;
D O I
10.1109/VLHCC.2005.42
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We present a semi-automatic debugger for spreadsheet systems that is specifically targeted at end-user programmers. Users can report expected values for cells that yield incorrect results. The system then generates change suggestions that could correct the error Users can interactively explore, apply, refine, or reject these change suggestions. The computation of change suggestions is based on a formal inference system that propagates expected values backwards across formulas. The system is fully integrated into Microsoft Excel and can be used to automatically detect and correct various kinds of errors in spreadsheets. Test results show that the system works accurately and reliably
引用
收藏
页码:37 / 44
页数:8
相关论文
共 15 条
[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]  
Ahmad Y, 2003, 18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, P174
[3]  
AYALEW Y, 2003, EUROEAN SPREADSHEET
[4]   End-user software engineering with assertions in the spreadsheet paradigm [J].
Burnett, M ;
Cook, C ;
Pendse, O ;
Rothermel, G ;
Summet, J ;
Wallace, C .
25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, :93-103
[5]  
Erwig M, 2005, PROC INT CONF SOFTW, P136
[6]  
ERWIG M, 2002, 4 INT S PRACT ASP DE, V2257, P173
[7]  
FISHER M, 2002, 24 IEEE INT C SOFTW, P141
[8]  
Ko A. J., 2004, P SIGCHI C HUMAN FAC, P151, DOI [10.1145/985692.985712, DOI 10.1145/985692.985712]
[9]   Finding high-level structures in spreadsheet programs [J].
Mittermeir, R ;
Clermont, M .
NINTH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2002, :221-232
[10]  
PHALGUNE A, 2005, IN PRESS GARBAGE EMP