8
Alat menggunakan sumber terbuka, alat sumber terbuka YAKINDU Statechart Tools (SCT) menyediakan persekitaran pemodelan bersepadu untuk spesifikasi dan pembangunan sistem reaktif, yang didorong oleh peristiwa berdasarkan konsep statecharts.Pengeditan Alat Statechart Yakindu (SCT) mempunyai gabungan intuitif notasi grafik dan teks.Walaupun keadaan, peralihan, dan hierarki negeri adalah elemen grafik, semua perisytiharan dan tindakan ditentukan menggunakan notasi teks.Kegunaan editor statechart dioptimumkan untuk bekerja dengan statecharts ini.Pengesahan Pengesahan statechart termasuk pemeriksaan sintaks dan semantik bagi carta keadaan lengkap.Contoh pengesahan ialah pengesanan keadaan yang tidak dapat dijangkau, hujung mati, dan rujukan kepada peristiwa yang tidak diketahui.Kekangan pengesahan ini disemak secara langsung semasa penyuntingan.Simulasi Selain pengesahan struktur, semakan semantik dinamik adalah penting.Tidak dapat menentukan ketepatan statechart hanya dengan pemeriksaan visual.Oleh itu, pengguna mesti dapat melaksanakan statecharts yang sedang dikerjakannya.Enjin simulasi statechart bersepadu menangani keperluan ini.Pengguna boleh melaksanakan statecharts secara langsung dalam persekitaran pemodelan.Negeri aktif terus diserlahkan dalam editor statechart dan perspektif simulasi berdedikasi memaparkan akses kepada kawalan pelaksanaan (memulakan, berhenti, berhenti seketika, disambung semula), menyemak dan menetapkan pembolehubah, serta menaikkan peristiwa.Pembuatan Kod Yakindu Statechart Tools (SCT) termasuk penjana kod untuk Java, C dan C ++.Penjana kod mengikuti pendekatan 'sahaja' dan tidak bergantung pada mana-mana perpustakaan runtime tambahan.Kod yang dihasilkan menyediakan antara muka yang jelas dan mudah disepadukan dengan mana-mana kod klien.Kod yang dihasilkan juga boleh dibaca dan tersusun sedemikian rupa sehingga membolehkan sangat berkesan
yakindu-statechart-tools