システムの応答時間が一定でない場合のモデル化手法として適切なものはどれか。

2026年3月13日

時間的な不確定要素を扱うために、ガード条件やイベントにタイムアウトを設定する。

実行前にモデルを解析して「到達不能な状態」を見つける利点はどれか。

状態遷移モデルで「N-switchカバレッジ」のNが1のときの意味はどれか。