利用不比例分析进行信号检测

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

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

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

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

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

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

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

敏捷项目管理是一种在整个项目生命周期内交付项目的迭代方法。它将大型项目分解成更小、更易于管理的任务，并在短迭代或“冲刺”中完成。这允许频繁地重新评估、调整计划并灵活地应对变化。它优先考虑客户协作、可运行的软件以及对变化的响应，而不是详尽的文档和僵化的计划。