モデル内のアクション言語で使用を避けるべき要素はどれか。

カバレッジを維持しつつテスト手順の総数を減らすアルゴリズムを何と呼ぶか。