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...