HOMELv031 「静的解析」において、ポインタの参照先が正しいかを解析することで防げる致命的なエラーは。 2026年1月25日 メモリの不正アクセスはシステムをクラッシュさせるため、実行前にポインタの安全性を解析する。 「状態遷移テスト」において、状態遷移図に存在しないイベントに対する挙動をテストする技法を何と呼ぶか。 「テストの独立性」を高めるために、外部の第三者検証(IV&V)を利用する最大のメリットは。