HOMELv008 カバレッジを維持しつつテスト手順の総数を減らすアルゴリズムを何と呼ぶか。 2026年3月13日 数学的手法を用いて、最短かつ最小のケース数で目的の網羅率を達成する。 モデル内のアクション言語で使用を避けるべき要素はどれか。 ISO 29119等のテスト標準とMBTの関係として正しいものはどれか。