HOMELv007 特定の実行環境や設定に依存する振る舞いを定義するモデルを何と呼ぶか。 2026年3月13日 実行時の環境設定やユーザー権限などのコンテキストに応じたモデルの切り替えが必要になる。 テスト実行中にモデルの状態が実システムと同期していることを確認しやすくする性質を何と呼ぶか。 具体的な値の代わりに変数記号を用いて、モデル内の全パスを解析する手法はどれか。