HOMELv013 設計モデル(UML等)をテスト用モデル(状態遷移図等)へ変換する際の課題はどれか。 2026年3月13日 設計目的とテスト目的では必要な情報が異なるため、変換時に意図した動作が維持されるか確認が必要である。 テスト実行中のメモリ使用量やCPU負荷をモデルに関連付ける手法を何と呼ぶか。 複数のプロセスが共有リソースを巡って互いの終了を待つ状態をモデルで検出するにはどうするか。