Sistem perisian dan perkakasan mengandungi kesalahan.Satu teknik penting untuk mengesan kesalahan adalah ujian.Dengan penyebaran model berasaskan model, model juga menjadi penting untuk ujian.Dalam ujian berasaskan model, model ujian digunakan untuk menghasilkan suite ujian (semi-) secara automatik.Walaupun teknik ujian berasaskan model berusia beberapa tahun, masih ada ruang untuk penambahbaikan.Sebagai contoh, alat pemodelan yang paling komersial tidak memberikan sokongan ujian yang mencukupi untuk jenis pesanan yang linear.Kriteria liputan digunakan sebagai alat untuk mengukur kemampuan mengesan kesalahan suite ujian.Pendekatan ParTeG adalah untuk menggabungkan kepuasan kriteria liputan berasaskan aliran kawalan (misalnya, MC / DC) dan kriteria liputan berasaskan sempadan (misalnya, Multi-Dimensi).Pendekatan ini memberi tumpuan kepada penjanaan automatik sempadan partisi input dari keadaan dalam model.Ia juga boleh difahami sebagai transformasi partition output ke dalam produk silang partition input dan laluan abstrak melalui mesin negara....