[論文レビュー] 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 非プログラマーは、プログラミング知識がなくても、自動故障トレースの恩恵を受けることができるか？

主な発見

• 故障トレース技術は、スプレッドシートの数式における伝搬誤りの原因となっている最も影響力のある誤りセルを効果的に特定した。
• セルマークは、誤り伝搬に与える影響が大きいセルを強調表示することで、故障特定の正確性を著しく向上させた。
• データフロー解析と区間ベースのテストの統合により、スプレッドシート環境におけるデバッグの正確性と効率性が向上した。
• 本手法は、潜在的な故障要因を少数の候補セルに絞ることで、手作業によるデバッグ作業負荷を低減した。