Detecting Errors in Spreadsheets

The paper presents two complementary strategies for identifying errors in spreadsheet programs. The strategies presented are grounded on the assumption that spreadsheets are software, albeit of a different nature than conventional procedural software. Correspondingly, strategies for identifying errors have to take into account the inherent properties of spreadsheets as much as they have to recognize that the conceptual models of 'spreadsheet programmers' differ from the conceptual models of conventional programmers. Nevertheless, nobody can and will write a spreadsheet, without having such a conceptual model in mind, be it of numeric nature or be it of geometrical nature focused on some layout.

[1]  William E. Perry,et al.  Effective methods for software testing , 1995 .

[2]  Krishna M. Kavi,et al.  A Formal Definition of Data Flow Graph Models , 1986, IEEE Transactions on Computers.

[3]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[4]  Jorma Sajaniemi,et al.  Transforming verbal descriptions into mathematical formulas in spreadsheet calculation , 1994, Int. J. Hum. Comput. Stud..

[5]  Raymond R. Panko,et al.  Spreadsheets on trial: a survey of research on spreadsheet risks , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[6]  Hausi A. Müller,et al.  On designing an experiment to evaluate a reverse engineering tool , 1996, Proceedings of WCRE '96: 4rd Working Conference on Reverse Engineering.

[7]  Raymond R. Panko,et al.  Applying Code Inspection to Spreadsheet Testing , 1999, J. Manag. Inf. Syst..

[8]  R PankoRaymond.  What we know about spreadsheet errors , 1998 .

[9]  Raymond R. Panko,et al.  Two corpuses of spreadsheet errors , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[10]  Bonnie A. Nardi,et al.  An ethnographic study of distributed problem solving in spreadsheet development , 1990, CSCW '90.

[11]  Raymond R. Panko,et al.  What we know about spreadsheet errors , 1998 .

[12]  Henry C. Lucas,et al.  Toward a logical/physical theory of spreadsheet modeling , 1992, TOIS.

[13]  David G. Hendry,et al.  Creating, comprehending and explaining spreadsheets: a cognitive interpretation of what discretionary users think of the spreadsheet model , 1994, Int. J. Hum. Comput. Stud..

[14]  David Lorge Parnas,et al.  Generating a test oracle from program documentation: work in progress , 1994, ISSTA '94.

[15]  Brian Knight,et al.  Quality control in spreadsheets: a software engineering-based approach to spreadsheet development , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[16]  Henry C. Lucas,et al.  Spreadsheet analysis and design , 1989, CACM.

[17]  WILLIAM B. ACKERMAN.  Data flow languages , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[18]  Pankaj Jalote,et al.  An Integrated Approach to Software Engineering , 1997, Undergraduate Texts in Computer Science.

[19]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[20]  G. W. Furnas,et al.  Generalized fisheye views , 1986, CHI '86.

[21]  Bonnie A. Nardi,et al.  The spreadsheet interface: A basis for end user programming , 1990, IFIP TC13 International Conference on Human-Computer Interaction.

[22]  John D. Gould,et al.  An experimental study of people creating spreadsheets , 1987, TOIS.

[23]  David Lorge Parnas,et al.  Using Test Oracles Generated from Program Documentation , 1998, IEEE Trans. Software Eng..

[24]  D GouldJohn,et al.  An experimental study of people creating spreadsheets , 1987 .