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

2026年3月13日

N-switchカバレッジは、連続するN+1個の遷移の組み合わせを網羅することを指す。

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

モデルと実装コードが一致しているかを自動検証する手法はどれか。