[论文解读] Correctness is not enough

Louise Pryor|ArXiv.org|Aug 14, 2008

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

一句话总结

本文认为，仅具备正确性尚不足以确保电子表格的可信度，指出了审计流程中的缺陷，并提出了一套更广泛的电子表格质量评估框架。该框架引入了透明度、可维护性和可审计性等标准，以确保电子表格在功能正确性之外的可靠性，为现实世界中电子表格的开发与验证提供了实用策略。

ABSTRACT

The usual aim of spreadsheet audit is to verify correctness. There are two problems with this: first, it is often difficult to tell whether the spreadsheets in question are correct, and second, even if they are, they may still give the wrong results. These problems are explained in this paper, which presents the key criteria for judging a spreadsheet and discusses how those criteria can be achieved

研究动机与目标

• 挑战‘电子表格正确性足以保证可靠性’的假设，该假设适用于现实世界的应用场景。
• 识别传统电子表格审计中系统性缺陷，这些缺陷忽略了可用性和可维护性问题。
• 提出一个超越功能正确性的综合评估框架，以提升电子表格的可信度。
• 弥合理论正确性与电子表格在各行业中实际可靠性之间的差距。
• 为开发人员和审计人员提供指导，使其采用能确保电子表格系统长期完整性与可用性的评估标准。

提出的方法

• 分析常见的电子表格审计实践，识别其在检测非功能性缺陷方面的局限性。
• 提出一组评估标准——透明度、可维护性、可审计性和可复现性——以评估电子表格质量。
• 使用案例研究和真实世界示例，说明看似正确的电子表格仍可能产生错误结果。
• 强调文档、版本控制和模块化设计在提升电子表格鲁棒性方面的作用。
• 推动从仅关注正确性的验证，转向对电子表格全生命周期质量的全面评估。
• 建议将软件工程原则整合到电子表格开发中，以减少错误并提高可维护性。

实验结果

研究问题

• RQ1 为何功能正确性不足以确保电子表格在实际应用中的可靠性？
• RQ2 在评估电子表格时，除正确性外，应考虑哪些关键的非功能性标准？
• RQ3 如何改进电子表格审计，以检测那些无法通过正确性检查发现的错误？
• RQ4 哪些设计与开发实践能增强电子表格的可维护性和可审计性？
• RQ5 可用性和透明度在提升电子表格模型整体可信度方面发挥何种作用？

主要发现

• 许多在功能上正确的电子表格，仍因设计不良、缺乏文档或输入理解错误而产生错误结果。
• 传统审计方法往往无法检测到逻辑错误或错误的假设，因其仅关注公式正确性。
• 透明度和可维护性对长期可靠性至关重要，尤其是在协作或持续演化的电子表格环境中。
• 缺乏版本控制和模块化结构会增加出错风险，并降低可审计性。
• 文档齐全且结构清晰的电子表格，在长期中更可能获得信任并被正确维护。
• 采用软件工程实践——如模块化设计和清晰文档——可降低错误率并改善审计结果。