Validating the unit correctness of spreadsheet programs
Validating the unit correctness of spreadsheet programs
复制标题
验证电子表格程序的单位正确性
DOI：
10.1109/icse.2004.1317466
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
M. Felleisen
中科院分区：
文献类型：
--
作者：
Tudor Antoniu;P. Steckler;S. Krishnamurthi;E. Neuwirth;M. Felleisen
金融公司，工程公司甚至科学家创建了越来越大的电子表格和电子表格计划。大型电子表格的创建者会遇到错误，并且必须跟踪它们。一个常见的错误类别是单位错误，因为电子表格通常采用带有物理或货币单位的公式。在本文中，我们描述了Xelda，这是我们的单元检查Excel电子表格的工具。该工具会突出显示单元格的公式处理值不正确的单位处理值，并且派生单元与单位注释相冲突。此外，它将箭头吸引到用于调试公式的来源。该工具对Excel电子表格的许多复杂性敏感，包括表，矩阵，甚至是圆形参考。使用Xelda，我们在一些已发表的科学电子表格中检测到了错误。
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and must track them down. One common class of errors concerns unit errors, because spreadsheets often employ formulas with physical or monetary units. In this paper, we describe XeLda, our tool for unit checking Excel spreadsheets. The tool highlights cells if their formulas process values with incorrect units and if derived units clash with unit annotations. In addition, it draws arrows to the sources of the formulas for debugging. The tool is sensitive to many of the intricacies of Excel spreadsheets including tables, matrices, and even circular references. Using XeLda, we have detected errors in some published scientific spreadsheets.