仮説駆動デバッグ (Hypothesis-Driven Debugging)
定義
**仮説駆動デバッグ (Hypothesis-Driven Debugging)**は、障害を生む必要条件を切り分ける診断手順である。ここでの「Hypothesis-Driven Debugging」が対象範囲または成立条件を具体化する。
仕組みと具体例
正常条件との差を入力・構成・時刻・依存版ごとに比較し、git bisect等で変化点を絞る。通常時だけでなく、境界値、失敗、並行実行、依存先の変化が結果へ及ぼす影響も追跡する。
実践と検証
一度に一変数だけ変え、仮説が予測する結果と実測を記録する。期待結果を観測可能な条件で記述し、最小例から異常系へ広げる。
トレードオフ
適用により再現性や分離性が高まる一方、構成、抽象、運用対象が増える場合がある。解決するリスクと維持コストを比較し、例外には理由、期限、代替策を記録する。