HOMELv031 「状態遷移テスト」において、状態遷移図に存在しないイベントに対する挙動をテストする技法を何と呼ぶか。 2026年1月25日 定義されていない遷移が起きた際に、エラーメッセージが出るか、あるいは無視されるかを確認する。 「テスト方針」を策定する際に、最初に参照すべきドキュメントはどれか。 「静的解析」において、ポインタの参照先が正しいかを解析することで防げる致命的なエラーは。