[论文解读] When, why and how to test spreadsheets

Louise Pryor|ArXiv.org|Jul 20, 2008

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

一句话总结

本文提出了一套由实践者驱动的电子表格测试框架，强调在何时、为何以及如何将软件测试原则应用于电子表格开发。该框架区分了测试与审查的区别，概述了实用的测试技术，并识别出常见问题，为提高电子表格的可靠性并减少实际应用中的错误提供了一套结构化方法。

ABSTRACT

Testing is a vital part of software development, and spreadsheets are like any other software in this respect. This paper discusses the testing of spreadsheets in the light of one practitioner's experience. It considers the concept of software testing and how it differs from reviewing, and describes when it might take place. Different types of testing are described, and some techniques for performing them presented. Some of the commonly encountered problems are discussed.

研究动机与目标

• 解决尽管电子表格在关键决策中被广泛使用，但在电子表格开发中缺乏正式测试实践的问题。
• 澄清电子表格工作中测试与审查的区别，强调测试作为主动验证过程的重要性。
• 提供一个实用框架，将测试整合到电子表格开发生命周期中。
• 识别出可通过测试缓解的常见电子表格错误和挑战。
• 通过实际应用，推广电子表格开发中的软件工程最佳实践。

提出的方法

• 在电子表格环境中应用标准软件测试概念，如单元测试、集成测试和回归测试。
• 应用针对电子表格逻辑量身定制的测试用例设计技术，包括边界值分析和等价类划分。
• 在关键阶段将测试整合到开发生命周期中：公式输入后、数据更改后以及模型更新后。
• 通过可视化和结构分析检测电子表格行为中的不一致性和逻辑缺陷。
• 强调测试用例的文档化和可追溯性，以确保可审计性和可重复性。
• 提出分阶段的测试方法：对单个单元格进行单元测试，对公式组进行集成测试，以及在修改后进行回归测试。

实验结果

研究问题

• RQ1 在电子表格开发生命周期的哪个阶段应执行测试？
• RQ2 尽管电子表格使用非正式，为何测试对电子表格仍然必要？
• RQ3 鉴于电子表格的独特结构和用户期望，如何实际应用测试？
• RQ4 电子表格工作中，审查与测试的关键区别是什么？
• RQ5 哪些常见的电子表格问题可以通过系统性测试来预防？

主要发现

• 测试对电子表格的可靠性至关重要，因为电子表格与传统软件一样，会面临相同的逻辑和功能错误。
• 仅靠审查不足以发现逻辑错误；必须通过系统性测试来验证正确性。
• 测试应在多个层次上应用：单个单元格逻辑、公式组行为以及整体模型完整性。
• 通过结构化测试，可预防常见的电子表格问题，如错误的公式引用、数据类型不匹配和逻辑错误。
• 将测试整合到开发过程中可显著降低在关键决策应用中出现错误的风险。
• 实用的测试技术，包括边界测试和测试用例的可追溯性，可提高可维护性和可审计性。