8
توفر مجموعة الأدوات المجانية والمفتوحة المصدر YAKINDU Statechart Tools (SCT) بيئة نمذجة متكاملة لمواصفات وتطوير أنظمة تفاعلية مدفوعة بالحدث تعتمد على مفهوم المخططات الإحصائية.تتميز أدوات تحرير Yakindu Statechart (SCT) بمزيج بديهي من الرموز الرسومية والنصية.في حين أن الحالات ، والانتقالات ، والتسلسلات الهرمية للولاية هي عناصر رسومية ، يتم تحديد جميع التصريحات والإجراءات باستخدام تدوين نصي.قابليتها للاستخدام من محرر statechart هو الأمثل للعمل مع هذه staticharts.التحقق من الصحة يتضمن التحقق من صحة staticharts اختبارات بناء الجملة والدلالي لمخطط الحالة الكامل.أمثلة على عمليات التحقق هي اكتشاف الحالات التي يتعذر الوصول إليها ، والنهايات المسدودة ، والإشارات إلى أحداث غير معروفة.يتم التحقق من قيود التحقق من الصحة هذه أثناء التحرير.المحاكاة بالإضافة إلى التحقق الهيكلي ، يعد فحص الدلالات الديناميكية أمرًا بالغ الأهمية.لا يمكن تحديد صحة المخطط الإحصائي فقط عن طريق الفحص البصري.وبالتالي ، يجب أن يكون المستخدم قادرًا على تنفيذ المخططات الثابتة التي يعمل عليها.يعالج محرك محاكاة statechart المتكامل هذه الاحتياجات.يمكن للمستخدم تنفيذ statecharts مباشرة داخل بيئة النمذجة.يتم تمييز الحالات النشطة مباشرة في محرر statechart ، ويتميز منظور المحاكاة المخصص بالوصول إلى عناصر التحكم في التنفيذ (البدء ، والإيقاف ، والإيقاف المؤقت ، والسيرة الذاتية) ، والتفتيش وإعداد المتغيرات ، بالإضافة إلى رفع الأحداث.أدوات إنشاء الكود البرمجي Yakindu Statechart (SCT) تتضمن مولدات الأكواد البرمجية لـ Java و C و C ++.يتبع مُنشئو الأكواد طريقة "الشفرة فقط" ولا يعتمدون على أي مكتبة وقت تشغيل إضافية.يوفر الرمز الذي تم إنشاؤه واجهة واضحة المعالم ويمكن دمجها بسهولة مع أي رمز عميل.الشفرة التي تم إنشاؤها قابلة للقراءة أيضًا وهيكلت بطريقة تسمح بالكفاءة
yakindu-statechart-tools