HOMELv005 MBTを探索的テストに活用する方法として適切なものはどれか。 2026年3月13日 モデルを地図のように使い、まだ探索されていない領域を人間が重点的にテストする。 複数の状態マシンが同時に動作するシステムのモデル化で重要な概念はどれか。 モデルが複雑になり、状態の組み合わせが指数関数的に増える現象を何と呼ぶか。