HOMELv011 複数の入力パラメータの組み合わせを効率化するためにMBTと併用する技法はどれか。 2026年3月13日 モデルで定義された各ステップのパラメータに対し、オールペア法を適用して組み合わせ数を最適化する。 大規模モデルを機能ごとに分割し、インターフェースを介して接続する設計思想を何と呼ぶか。 無限に続くパスを持つモデルから有限のテストを生成するための制約はどれか。