Validating the unit correctness of spreadsheet programs
- 28 September 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Financial companies, engineering firms and even scientistscreate increasingly larger spreadsheets and spreadsheetprograms. The creators of large spreadsheets makeerrors and must track them down. One common class oferrors concerns unit errors, because spreadsheets often employformulas with physical or monetary units.In this paper, we describe XeLda, our tool for unit checkingExcel spreadsheets. The tool highlights cells if theirformulas process values with incorrect units and if derivedunits clash with unit annotations. In addition, it draws arrowsto the sources of the formulas for debugging. The toolis sensitive to many of the intricacies of Excel spreadsheetsincluding tables, matrices, and even circular references.Using XeLda, we have detected errors in some publishedscientific spreadsheets.Keywords
This publication has 18 references indexed in Scilit:
- Visually customizing inference rules about apples and orangesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Component support in PLT schemeSoftware: Practice and Experience, 2002
- DrScheme: a programming environment for SchemeJournal of Functional Programming, 2002
- Adding Apples and OrangesPublished by Springer Nature ,2001
- A methodology for testing spreadsheetsACM Transactions on Software Engineering and Methodology, 2001
- What We Know About Spreadsheet ErrorsJournal of Organizational and End User Computing, 1998
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,1996
- Conversion of units of measurementIEEE Transactions on Software Engineering, 1995
- A Proposal for an Extended Form of Type Checking of ExpressionsThe Computer Journal, 1983
- Units of measure as a data attributeComputer Languages, 1977