HOMELv031 「動的解析」において「シンボリック実行（Symbolic Execution）」を用いる目的は。 2026年1月25日 変数を具体値ではなく記号として扱い、各分岐に到達するための数学的条件を解くことでテストデータを生成する。 「経験ベースのテスト」において「エラー推測」の質を高めるための情報源は。 「テスト方針」を策定する際に、最初に参照すべきドキュメントはどれか。
