引言

软件质量管理简介

什么构成了“高质量”软件？它不仅仅是没有 Bug。高质量的软件能够可靠地为用户提供价值。这通常意味着它具备以下特点：

• 满足功能需求（Functional Requirements）：能够正确地执行其应有的功能。
• 满足非功能需求（Non-functional Requirements）：性能良好、安全、可用、可靠、可维护等。
• 提供积极的用户体验（User Experience）。
• 可预测地交付（在时间和预算约束内）。
• 基本没有严重缺陷（Critical Defects）。

软件质量涵盖了外部属性（用户可见，如可靠性和可用性）和内部属性（涉及代码和架构结构，如可维护性和可测试性）。

质量管理中的两个关键概念是：

• 软件质量保证 (SQA)： 一系列有计划、系统的活动，重点关注用于开发软件的过程。目标是提供信心，确保这些过程将产生高质量的产品。它关注过程且是预防性的。
• 软件质量控制 (SQC)： 一系列活动，重点在于检查和测试实际的产品（软件、文档），以识别缺陷并验证它们是否满足需求。它关注产品且是检测性的。
• 质量工程 (QE)： 一种现代、更广阔的方法，将质量实践整合到整个生命周期中，涉及整个团队，强调自动化、缺陷预防和持续改进。它包含了 SQA 和 SQC 的原则，但具有更积极主动和整体化的工程思维。

软件质量的独特挑战

与许多实体制造业不同，宣称软件完全“无缺陷”几乎是不可能的。这源于软件固有的特性：

固有复杂性

软件系统可以具有数量惊人的状态和执行路径。即使是中等复杂度的应用，通过不同的输入、配置和用户交互，也可能产生数百万或数十亿种操作可能性。穷尽测试所有单个路径和状态是不可行的。

不可见性

与实体产品不同，物理产品的缺失部件或装配错误可能是肉眼可见的，而软件缺陷隐藏在代码行或复杂逻辑中。缺陷（如错误的逻辑或安全漏洞）在存储介质（硬盘、云服务器）上物理上是不可见的。

开发与生产的本质

实体产品制造涉及不同的阶段，可以在这些阶段进行质量检查：

• 设计/开发：原型进行测试。
• 生产计划：制造过程设计和工具设置提供了检查机会。
• 制造：对装配线上的单个单元应用质量控制；发现的缺陷可以导致对未来单元的流程/设计变更。

软件开发则不同。“制造”阶段仅仅是复制数字母版——这个过程不会引入新的逻辑缺陷。因此，缺陷检测和预防必须主要发生在开发阶段（需求、设计、编码、测试）。一旦软件“发布”或部署，任何固有的逻辑缺陷都会在每个副本中完美复制。

这种比较突显了在软件开发期间实施强有力的质量实践的至关重要性：

特性	软件产品	典型的实体工业产品
复杂性	状态空间极其庞大，百万+操作路径	有限的操作模式（数千）
可见性	产品是无形逻辑；缺陷不可见	产品是有形的；许多缺陷肉眼可检测
缺陷检测机会	主要在开发阶段（设计、编码、测试）	在开发、生产计划和制造阶段
制造影响	“制造”（复制）完美复制缺陷	制造缺陷可被捕获，并调整流程以用于未来的单位

这些独特的挑战强调了为什么软件质量管理（包括有效的 SQA、SQC 和现代 QE 实践）对于构建可靠且有价值的软件至关重要。像敏捷（Agile）和 DevOps 这样的方法论，其强调迭代开发、自动化和快速反馈回路，部分是对这些挑战的回应，旨在更早、更频繁地检测和纠正问题。