HOMELv011 MBTモデルにおいて、すべての状態で常に真でなければならない条件はどれか。 2026年3月13日 システムの安全性を保証するために、どの状態においても維持されるべき論理制約である。 モデルに意図的にエラー状態を挿入してテストを行う手法はどれか。 分散システムでメッセージの順序が入れ替わる可能性を表現する構造はどれか。