Selain itu, mereka harus deterministik dan setiap jejak yang layak harus memiliki panjang yang terbatas; jika tidak, eksekusi pengujian berdasarkan model ini tidak dapat dihentikan dalam langkah-langkah terbatas dengan hasil pengujian yang pasti. Dalam sub-bagian berikut, pertama-tama kami mengusulkan definisi formal tujuan pengujian dan kasus pengujian dalam konteks pemodelan ct-cpn. Kemudian, algoritme pemilihan pengujian terperinci dikembangkan dengan beberapa aturan pembuatan pengujian terhadap berbagai jenis transisi model. Akhirnya, kami mengadopsi sistem perangkat lunak berbagi file sebagai perwakilan untuk mendemonstrasikan pemilihan tes praktis dan prosedur pelaksanaan tes. Dalam konteks pemodelan ct-cpn, relasi kesesuaian harus ditentukan sesuai dengan data spesifik dalam model ct-cpn, sehingga relasi pn-ioco didefinisikan. Salah satunya adalah membuat pemilihan pengujian dengan skalabilitas tinggi untuk menangani model sistem yang lebih rumit, dan yang lainnya adalah membuat semua kasus pengujian layak untuk pelaksanaan pengujian praktis.
Dalam konteks model cpn, pendaftaran cpns 2021 perilaku perangkat lunak disimulasikan dengan data sistem tertentu, jadi kami harus menentukan kesesuaian ioco dengan membandingkan tindakan keluaran dengan data tertentu. Bagian isi ini telah diusulkan dalam makalah konferensi kami, dan, untuk membuat makalah ini berdiri sendiri, kami akan menunjukkan definisi formal dasar model ct-cpn dan relasi pn-ioco di bagian 4. Uji ioco berbasis model Cpn seleksi memiliki beberapa keunggulan, dibandingkan dengan metode seleksi tes ioco saat ini dalam literatur [12-14]. Pertama, model cpn dapat dieksekusi secara dinamis, yang diarahkan oleh aliran kontrol perilaku sistem yang bergantung pada data.
Namun, metode pengujian yang berorientasi pada tujuan biasanya menentukan bagian dari perilaku fungsional perangkat lunak sebagai model tujuan pengujian dan membuat kasus pengujian yang dihasilkan fokus pada pengujian perilaku spesifik tersebut. Cukup menguntungkan untuk melakukan pengujian kesesuaian yang layak terhadap sistem perangkat lunak berbasis jaringan dengan karakteristik kotak hitam dan perilaku reaktif. Dalam makalah ini, diusulkan metode pemilihan tes ioco baru dengan menggunakan teknologi simulasi model tersinkronisasi antara dua model cpn.
Karenanya, kami mengembangkan metode pemilihan pengujian ioco berorientasi tujuan pengujian untuk memenuhi dua tujuan ini, di mana kasus pengujian dihasilkan melalui simulasi model tersinkronisasi antara model ct-cpns dan model ct-cpntp. Ketika prosedur simulasi tersinkronisasi berakhir, model kasus uji yang final dan layak diproduksi dan ditetapkan sebagai ct-cpntc. Dipandu oleh definisi pn-ioco, kesesuaian ditentukan dengan membandingkan data token di tempat yang dapat diamati di sepanjang sptrace tertentu dengan keluaran yang benar-benar diamati dari implementasi.
Alasan lain untuk perluasan ini adalah masalah ketidakcocokan data kependudukan dan kesulitan dalam mengakses situs pendaftaran. Pendaftaran khusus melalui sekolah resmi, kata dia, dibuka melalui masing-masing sekolah yang di-cover oleh delapan instansi atau kementerian. Jadi, pendaftaran bisa dilakukan melalui delapan kementerian atau lembaga yang membawahi sekolah tersebut. Setelah proses seleksi selesai dilakukan tahapan dilanjutkan dengan pengumuman kelulusan pada bulan november.