[论文解读] 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 传统软件工程度量方法能否在电子表格环境中有效适应？

主要发现

• 所提出的度量方法通过分析引用分散程度与路径复杂度，成功识别出具有高错误潜在风险的单元格。
• 该度量方法可更准确地调整单元格层级错误率，从而提升整体模型可靠性评估的准确性。
• 引入引用分支条件单元格与条件块显著增强了逻辑结构的清晰度与可审计性。
• 该度量方法为基于结构复杂度估算开发工作量与周期时长提供了基础。
• 将传统软件工程度量方法适应于电子表格环境，有效识别出复杂且易出错的组件。
• 研究的实证结果表明，单元格引用的高分散程度与错误发生概率的增加存在强相关性。