拜占庭容错（BFT）

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

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

RAID（独立磁盘冗余阵列）是一种数据存储虚拟化技术，它将多个物理磁盘驱动器组合成一个或多个逻辑单元，以实现数据冗余、性能提升或两者兼顾。不同的 RAID 级别在可靠性、可用性、性能和容量方面提供不同的平衡。例如，RAID 1 将数据镜像到两个磁盘上，而 RAID 5 则将数据和奇偶校验信息条带化到至少三个磁盘上。

有限体积法 (FVM) 是 CFD 中用于求解偏微分方程的主要数值方法。它将计算域离散为控制体网格，并将控制方程的积分形式应用于每个控制体。通过使用散度定理将体积积分转换为表面积分，FVM 专注于计算跨单元表面的守恒性质的通量。

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

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].

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

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

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