HOMELv003 パフォーマンス向上を目的としたMBTの活用法はどれか。 2026年3月13日 ユーザーの利用パターンをモデル化することで、現実的な負荷テストシナリオを生成できる。 作成したモデルが要求仕様と一致しているか確認する作業はどれか。 状態遷移モデルから木構造を作成する主な目的はどれか。