モデリング言語の記号が持つ意味の厳密な定義を何と呼ぶか。

2026年3月13日

記号の解釈が人やツールによって異ならないよう、動作の意味を厳密に定義することを指す。

外部システムが未完成の場合にMBTを継続するために行うことはどれか。

MBTで生成されたテストが不安定（Flaky）になる主な原因はどれか。