RAID 数据存储

形式验证是使用数学方法来证明或反驳系统设计与形式规范的正确性。测试只能显示特定输入存在错误，而形式验证则不同，它能证明所有可能的输入都不存在错误。它涉及创建系统的形式化模型，并使用模型检查或定理证明等技术。

BFT（Byzantine Fault Tolerance，拜占庭容错的首字母缩写）是系统的一种特性，它允许系统在某些组件以任意、不可预测的方式（包括恶意行为）发生故障（拜占庭故障）时，仍能继续正常运行并达成共识。这比容忍简单的崩溃故障要强得多。至少需要 [latex]3f+1[/latex] 个组件才能容忍 [latex]f[/latex] 个有问题的恶意组件。.

验证和确认（V&V）是两个不同的过程。验证确保产品符合其指定要求（"你造对了吗？）验证确保产品满足用户的实际需求和预期用途（"你造对了吗？）它们是质量管理中的互补活动，通常按顺序或平行进行，以确保正确性和实用性。

重复性极限 [latex]r[/latex] 是由重复性标准偏差 ([latex]s_r[/latex]) 得出的临界值。它表示在重复性条件下获得的两个单一测试结果之间的最大预期绝对差异，概率为 95%。通常计算公式为 [latex]r = 2.8 倍 s_r[/latex]。如果差值超过 [latex]r[/latex]，则认为结果可疑。

螺旋模型是一种风险驱动的软件开发过程模型，它融合了原型设计和瀑布模型的元素。它是一种迭代开发类型，项目在每次迭代（螺旋式）中经历四个阶段：确定目标、识别和解决风险、开发和测试以及规划下一次迭代。它强调持续的风险分析。

信号检测是从大型数据集（通常是自发报告系统）中识别药物与不良事件之间潜在因果关系的过程。它使用称为不成比例分析的统计方法来查找报告频率高于预期的药物事件组合。一个常见的指标是报告比值比 (ROR)，该值大于 1 表示存在潜在信号，需要进一步调查。

Jakob Nielsen 是一位著名的可用性顾问，主要从事 UI 和网页设计，他通过五个质量组件来定义可用性：易学性（用户第一次完成基本任务的难易程度如何？）、效率（用户学会后能多快完成任务？）、可记忆性（用户在一段时间不使用后能否重新获得熟练程度？）、错误（用户犯了多少错误？）和满意度（使用起来有多愉快？）。

国际标准 ISO 9241-11 将可用性定义为“在特定的使用环境下，特定用户使用产品实现特定目标的有效性、效率和满意度的程度”。该定义提供了一个衡量可用性的框架，将其分解为三个不同的、可量化的组成部分，超越了纯粹的主观评估。