[論文レビュー] Complexity Metrics for Spreadsheet Models

Andrej Bregar|ArXiv.org|Feb 27, 2008

Spreadsheets and End-User Computing参考文献 8被引用数 29

ひとこと要約

本論文は、論理構造、データ構造、およびサイズ—特にセル参照の分散とセルパスに注目して—エラーを起こしやすいセルを特定する、スプレッドシートモデルのための新しい複雑性メトリクスを導入する。本研究では、従来のソフトウェア工学メトリクスを応用・拡張し、開発作業量の推定、セルレベルのエラー率の補正、および新しい構成要素（例：参照分岐条件セル、条件ブロック）の導入により、信頼性の向上を図る。

ABSTRACT

Several complexity metrics are described which are related to logic structure, data structure and size of spreadsheet models. They primarily concentrate on the dispersion of cell references and cell paths. Most metrics are newly defined, while some are adapted from traditional software engineering. Their purpose is the identification of cells which are liable to errors. In addition, they can be used to estimate the values of dependent process metrics, such as the development duration and effort, and especially to adjust the cell error rate in accordance with the contents of each individual cell, in order to accurately asses the reliability of a model. Finally, two conceptual constructs - the reference branching condition cell and the condition block - are discussed, aiming at improving the reliability, modifiability, auditability and comprehensibility of logical tests.

研究の動機と目的

• 論理的およびデータ構造に基づいて、スプレッドシートモデルの複雑性を定量化するメトリクスの開発。
• セル参照の分散とセルパスの分析を通じて、エラーにかかりやすいセルの特定。
• セルレベルのエラー率の補正により、開発作業量とモデルの信頼性の正確な推定を可能にする。
• 新しい概念的構成要素を用いて、スプレッドシートの保守性、監査可能性、理解可能性の向上。
• 従来のソフトウェア工学メトリクスをスプレッドシート環境に適応させる。

提案手法

• セル参照の分散とセルパス構造に注目した、新しい複雑性メトリクスの提案。
• スプレッドシートモデルの文脈に合わせて、既存のソフトウェア工学メトリクスを適応。
• 複雑な論理的テストを構造化するための「参照分岐条件セル」の概念を導入。
• 「条件ブロック」を、関連する条件論理を含むセルの論理的グループ化として定義。
• これらの構成要素を用いて、論理的モジュール性を向上させ、エラー発生の可能性を低減。
• メトリクスを用いて、開発期間や作業量といったプロセス関連属性の推定を実施。

実験結果

リサーチクエスチョン

• RQ1 論理構造およびデータ構造のメトリクスを用いて、スプレッドシートモデルの複雑性をどのように定量化できるか？
• RQ2 スプレッドシートにおいて、エラーにかかりやすいセルの特徴として、どのセルレベルの特性が最も強く関連しているか？
• RQ3 複雑性メトリクスは、開発作業量と信頼性の推定をどの程度向上させることができるか？
• RQ4 参照分岐条件セルおよび条件ブロックの構成要素は、スプレッドシートの保守性をどのように向上させるか？
• RQ5 従来のソフトウェア工学メトリクスは、スプレッドシート環境に効果的に適応可能か？

主な発見

• 提案されたメトリクスは、参照の分散とパスの複雑性の分析を通じて、高いエラー発生可能性を示すセルを効果的に特定した。
• メトリクスにより、セルレベルのエラー率のより正確な補正が可能となり、全体のモデル信頼性評価が向上した。
• 参照分岐条件セルおよび条件ブロックの導入により、論理構造の明確化と監査可能性が向上した。
• メトリクスは、構造的複雑性に基づいた開発作業量および期間の推定の基盤を提供した。
• 従来のソフトウェア工学メトリクスをスプレッドシートに適応させることで、複雑でエラーを起こしやすいコンponentの特定に有効であることが示された。
• 研究の実証的結果から、セル参照の高い分散は、エラー発生の可能性の増加と強く相関していることが明らかになった。