[论文解读] Spreadsheet Debugging

Yirsaw Ayalew, Roland T. Mittermeir|arXiv (Cornell University)|Jan 28, 2008

Spreadsheets and End-User Computing参考文献 18被引用 24

一句话总结

本文提出了一种用于电子表格调试的故障追踪技术，该技术利用数据流分析和单元格标记，识别导致公式单元格中错误传播的最具影响力的故障单元格。基于区间测试方法，该技术能高效隔离非程序员开发的电子表格中数值不准确的根源，显著提高调试精度，并减少手动定位错误的工作量。

ABSTRACT

Spreadsheet programs, artifacts developed by non-programmers, are used for a variety of important tasks and decisions. Yet a significant proportion of them have severe quality problems. To address this issue, our previous work presented an interval-based testing methodology for spreadsheets. Interval-based testing rests on the observation that spreadsheets are mainly used for numerical computations. It also incorporates ideas from symbolic testing and interval analysis. This paper addresses the issue of efficiently debugging spreadsheets. Based on the interval-based testing methodology, this paper presents a technique for tracing faults in spreadsheet programs. The fault tracing technique proposed uses the dataflow information and cell marks to identify the most influential faulty cell(s) for a given formula cell containing a propagated fault.

研究动机与目标

• 为解决非程序员开发的电子表格中普遍存在的质量问题。
• 减少在存在错误传播的电子表格程序中定位故障单元格所需的时间和精力。
• 通过数据流分析和单元格标记实现精确的故障追踪，提升基于区间的测试的有效性。
• 支持非程序员在无需编程知识的情况下调试复杂电子表格。

提出的方法

• 该方法以基于区间的测试为基础，依赖数值范围检测电子表格计算中的异常。
• 通过数据流分析，将错误信息从存在故障的公式单元格反向传播，以识别潜在的故障源单元格。
• 使用单元格标记来追踪并突出显示对错误传播有贡献的单元格，从而实现对具有高影响力故障单元格的可视化与算法识别。
• 该方法结合符号测试概念与区间分析，提高故障定位的精确度。
• 通过分析电子表格公式网络中的依赖关系和传播路径来执行故障追踪。
• 该技术设计为在真实世界电子表格应用中高效且可扩展。

实验结果

研究问题

• RQ1 如何高效识别电子表格公式单元格中传播故障的根本原因？
• RQ2 数据流关系和单元格标记在隔离故障单元格中起到什么作用？
• RQ3 基于区间的测试在电子表格中支持有效故障追踪的程度如何？
• RQ4 非程序员在无需编程知识的情况下能否从自动化故障追踪中受益？

主要发现

• 该故障追踪技术成功识别出导致电子表格公式中错误传播的最具影响力的故障单元格。
• 单元格标记通过突出显示对错误传播具有高影响力的关键单元格，显著提高了故障定位的精确度。
• 将数据流分析与基于区间的测试相结合，提升了电子表格环境中调试的准确性和效率。
• 该方法通过将潜在的故障源缩小到少数候选单元格，减少了手动调试的工作量。