HOMELv005 回帰テストにおけるMBTの最大の強みはどれか。 2026年3月13日 仕様変更箇所をモデルに反映させるだけで、必要な回帰テストケースを自動的に再生成できる。 モデルが複雑になり、状態の組み合わせが指数関数的に増える現象を何と呼ぶか。 モデルが特定の安全性(セーフティ)プロパティを満たしているか検証する技術はどれか。