MBTのモデル記述に「Z言語」や「B-Method」等の形式言語を用いる目的はどれか。

2026年3月13日

形式言語を用いることで、曖昧さを完全に排除した厳密な仕様記述と検証が可能になる。

2つの独立した状態マシンを組み合わせて1つのモデルにする操作を何と呼ぶか。

同一の遷移パスに対して異なるデータセットを適用する手法はどれか。