型の境界値分析 — BVA で型テストのケースを選ぶ
ランタイムテストの境界値分析を型レベルに移して、型の束（lattice）の極端 7 軸ごとに通過・拒否の witness ペアを組む方法と、時間軸・副作用の回数のように型では最後まで覆えない軸
Testing カテゴリーの知識文書です。
ランタイムテストの境界値分析を型レベルに移して、型の束（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 するパターン