不均衡分析を用いた信号検出

再現性限界 [latex]r[/latex] は、再現性標準偏差 ([latex]s_r[/latex]) から導出される臨界値です。これは、再現性条件下で得られた 2 つの単一テスト結果間の最大絶対差を 95% の確率で表したものです。一般的には [latex]r = 2.8 times s_r[/latex] として計算されます。差が [latex]r[/latex] を超えると、結果は疑わしいとみなされます。

スパイラルモデルは、プロトタイピングとウォーターフォールモデルの要素を組み合わせた、リスク主導型のソフトウェア開発プロセスモデルです。これは反復開発の一種で、プロジェクトは各イテレーション（螺旋）において、目標設定、リスクの特定と解決、開発とテスト、そして次のイテレーションの計画という4つのフェーズを経て進行します。スパイラルモデルは、継続的なリスク分析を重視します。

主にUIとWebデザインにおける著名なユーザビリティコンサルタントであるヤコブ・ニールセンは、ユーザビリティを5つの品質要素で定義しました。学習しやすさ（ユーザーが基本的なタスクを初めて実行するのにどれだけ簡単か？）、効率性（一度学習したタスクをどれだけ迅速に実行できるか？）、記憶しやすさ（ユーザーは使用していない期間の後でも熟練度を回復できるか？）、エラー（ユーザーはどれだけエラーを犯すか？）、満足度（使用していてどれだけ快適か？）。

国際規格ISO 9241-11では、ユーザビリティを「特定の使用状況において、特定のユーザーが特定の目標を効果的、効率的、かつ満足のいく形で達成するために、製品を使用できる程度」と定義しています。この定義は、ユーザビリティを3つの明確で定量化可能な要素に分解することで、純粋に主観的な評価を超え、ユーザビリティを測定するための枠組みを提供します。

形式検証とは、数学的手法を用いて、システム設計が形式仕様に照らして正しいかどうかを証明または反証することです。特定の入力に対してのみバグの存在を示すことができるテストとは異なり、形式検証はあらゆる入力に対してバグが存在しないことを証明できます。形式検証には、システムの形式モデルを作成し、モデル検査や定理証明などの手法を用いることが含まれます。

BFT（ビザンチン障害耐性の略）とは、システムの一部コンポーネントが、悪意のある動作（ビザンチン障害）を含む、恣意的で予測不可能な方法で故障した場合でも、システムが正しく動作し続け、合意に達することを可能にするシステムの特性です。これは、単純なクラッシュ障害を許容するよりもはるかに強力な保証です。最低でも[latex]3f+1[/latex]個のコンポーネントが、f[/latex]個の故障した悪意のあるコンポーネントを許容する必要があります。

RAID（Redundant Array of Independent Disksの略）は、複数の物理ディスクドライブを1つ以上の論理ユニットに統合することで、データの冗長性、パフォーマンスの向上、またはその両方を実現するデータストレージ仮想化技術です。RAIDレベルによって、信頼性、可用性、パフォーマンス、容量のバランスが異なります。例えば、RAID 1は2つのディスクにデータをミラーリングし、RAID 5は少なくとも3つのディスクにデータとパリティをストライピングします。

アジャイルプロジェクト管理とは、プロジェクトのライフサイクル全体を通してプロジェクトを遂行するための反復的なアプローチです。大規模なプロジェクトを、短い反復作業（スプリント）で完了する、より小さく管理しやすいタスクに分割します。これにより、頻繁な再評価、計画の調整、変化への柔軟な対応が可能になります。包括的なドキュメントや厳格な計画よりも、顧客との協働、動作するソフトウェア、そして変化への対応を優先します。