ソフトウェアおよびハードウェアシステムには障害が含まれています。障害を検出するための1つの重要なテクニックはテストです。モデルベース開発の普及により、モデルはテストにとっても重要になりました。モデルベースのテストでは、テストモデルを使用してテストスイートを（半）自動で生成します。モデルベースのテストの手法は数年前のものですが、まだ改善の余地があります。たとえば、ほとんどの市販のモデリングツールは、線形の順序付けされたタイプに対して適切なテストサポートを提供していません。カバレッジ基準は、テストスイートの障害検出能力を測定する手段として使用されます。ParTeGのアプローチは、制御フローベースのカバレッジ基準（例：MC / DC）と境界ベースのカバレッジ基準（例：多次元）の満足度を組み合わせることです。このアプローチは、モデル内の条件から入力パーティション境界を自動生成することに焦点を当てています。また、出力パーティションを、入力パーティションとステートマシンを通る抽象パスのクロス積に変換することとして理解することもできます。...