静的解析における「データフロー解析」の「定義-使用（du）ペア」とは。

2026年1月25日

代入された値が、どの経路を通ってどこで消費されるかを追跡し、論理的な矛盾を探します。

ドメイン分析テストにおいて、境界線が「交差」する点（角）をテストする理由は。

プロジェクトの途中で「重大なリスク」が顕在化し、予定のテストが完了できない場合の対応は。