HOMELv012 外部システムが未完成の場合にMBTを継続するために行うことはどれか。 2026年3月13日 外部システムの振る舞いを簡易的なモデル（スタブ）で代用し、テスト実行を可能にする。 モデル内の変数の「定義（def）」から「使用（use）」までのパスを網羅する基準はどれか。 モデリング言語の記号が持つ意味の厳密な定義を何と呼ぶか。
