مدقق صحة الآلات الحالة

حلل هذا التطبيق لآلة الحالة:

{{state_machine_code}}

السلوك المتوقع: {{business_requirements}}

تحقق من:
1. جميع الحالات قابلة للوصول من الحالة الأولية
2. جميع الانتقالات المعلنة صحيحة وقيد الاستخدام
3. الحالات الجزيئية (إن وجدت) مقصودة
4. معالجة الأحداث شاملة (لا توجد حالات مفقودة)
5. شروط الحماية تمنع الانتقالات غير الصحيحة
6. إجراءات الدخول والخروج قابلة للتكرار
7. مسارات انتظار المهلة واسترجاع الأخطاء
8. رسم مخطط الحالة ومصفوفة الانتقال

قدم سيناريوهات اختبار لحالات الحافة والتغطية الحالة.