Atur cara mengikut sttc.sf.net

Pencipta Ujian Peralihan Negeri mencipta satu set kes ujian untuk menguji tingkah laku seorang statemachine. Kedua-dua statemachine dan ujian yang diperolehi diperiksa pada konsistensi dan kesempurnaan. Keputusan dieksport ke