変更の影響に基づくテスト選択 — 絞り込むルールと全体実行に戻すルールをセットで設計する
変更されたファイルから import グラフを逆にたどって関連テストだけを実行する方式で、基準点を決める方法、不確実なときに全体実行へ戻す fail-closed ルール、最終ゲートを分ける理由
Testing カテゴリーの知識文書です。
変更されたファイルから import グラフを逆にたどって関連テストだけを実行する方式で、基準点を決める方法、不確実なときに全体実行へ戻す fail-closed ルール、最終ゲートを分ける理由
仕様と証明に現れる集合・論理・量化記号を TypeScript コードと Bend 構文に1対1で対応させて読む方法と、空虚な真・反例・逆向き含意の誤読から生じるテストの穴
ランタイムテストの境界値分析を型レベルに移して、型の束（lattice）の極端 7 軸ごとに通過・拒否の witness ペアを組む方法と、時間軸・副作用の回数のように型では最後まで覆えない軸
実行結果ではなくコンパイル結果を検証して「この型が実際にどんな誤ったコードを防ぐのか」をコードとして固定する方法と、@ts-expect-error・mutation 検証でテストが生きているかを確認する手順
コードに人為的な欠陥を埋め込み既存テストが失敗するかを確認することで、カバレッジが隠す空の assertion や緩い検証を見つける手法
実行結果が正しいかどうかを判定する基準をどこから得るかという問題と、実装から期待値を逆算したテストが何も検証できない理由
旧ブラウザ互換性の回帰はレンダーだけを見るスモークでは捕まえられない — 実際のクリック・送信インタラクションを実行し、広いコンソールエラーフィルタでランタイムエラーを昇格させる必要がある
E2E CI で retry 結果から flaky と deterministic failed を分離し、タイミング競合とビルド欠陥を区別する方法
jest.mock プローブで id ごとのレンダー回数を記録し、baseline スナップショットと比較して React の再レンダー隔離を単体テストとして固定する方法
Jest の CJS 環境で ESM-only な npm パッケージを vendor TS ファイルと moduleNameMapper で安定して import するパターン