バグ埋め込み法(エラーシーディング法)と式の導出(S, T, m, n)

はじめに

2025年10月のプロジェクトマネージャ試験受験を終え、2026年春の情報処理安全確保支援士に向けて勉強中です。
本記事を含めた各知識のインデックスや学習の道のりについては、「情報処理安全確保支援士への道のり(随時更新中)」をご参照ください。
本記事は学習した内容を記載しています。

既知個数のバグ(種バグ)を意図的に埋め込み、テストやレビューで見つかった「種バグの発見率」から、埋め込み前から潜在していた未知バグの総数や残存数を推定する考え方です。

このとき、発見された本来バグ数は「n − m」です。

バグ埋め込み法の推定は、典型的に次の仮定を置きます。

この仮定がないと、種バグの発見率から本来バグの発見率を外挿できません。

設問の仮定より、種バグと本来バグの発見率(検出確率)が同じとみなします。

frac{m}{S}

frac{n-m}{T}

仮定より両者は等しいので、

frac{m}{S}=frac{n-m}{T}

両辺を交差乗算すると、

mT = S(n-m)

これが S, T, m, n の関係式です。
さらに T を解く(潜在バグ総数の推定式)なら、

T=frac{S(n-m)}{m}

T-(n-m)

バグ埋め込み法は、前提が崩れると推定が大きく外れます。
代表例：

したがって、試験では「仮定の下での推定」を割り切って扱い、実務では補助的に用いる、という整理が安全です。

欠陥除去率(DRE: Defect Removal Efficiency)
工程内でどれだけ欠陥を除去できたかを測る指標(ただし真の総欠陥数が必要になる点が課題)
レビュー手法(ウォークスルー/インスペクション)
テスト前工程で欠陥を落とすことで、後工程コストを下げるという品質原則
テストカバレッジ(網羅率)
ステートメント/分岐/条件網羅など。
バグ埋め込み法は「カバレッジそのもの」ではなく「欠陥検出の進捗推定」という位置づけ。