uppaal. بيئة أداة متكاملة للنمذجة والتحقق من الصحة والتحقق من الأنظمة في الوقت الحقيقي
التحميل الان

uppaal. الترتيب والملخص

uppaal. العلامات

نموذج التحقق من صحة يؤكد بيئة النمذجة العملية أداة التحقق أداة التحقق من البرمجيات طراز النظام في الوقت الحقيقي التحقق في النظام في الوقت الحقيقي في الوقت الحقيقي التحقق من صحة النظام التحقق من صحة نظم المعلومات البيئة النمذجة

uppaal. وصف

UPPAAL هو تطبيق برنامج شامل يسمح لك بتصميم وتحقق من صحة وتحقق من أنظمة الوقت الفعلي الذي تم تصميمه كشبكات من توقيت Automata. تم تطويره في Java وملفوف في مساحة عمل سهل الاستخدام. لا يلزم التركيب، بصرف النظر عن Java لا توجد حزمة الإعداد المعنية، مما يجعل UPPAAL المحمولة تقريبا. شريطة أن تكون لديك Java مثبتة على جهاز الكمبيوتر الخاص بك، يمكنك حفظ ملفات البرنامج بأي جزء من القرص وانقر فوق ملف JAR لإطلاق الأداة. احتمال آخر هو حفظه إلى محرك أقراص لتشغيله مباشرة على أي جهاز كمبيوتر مثبت عليه Java. جوانبا هاما يستحق مع الأخذ في الاعتبار هو أنه لا يقوم بتعديل إعدادات سجل Windows أو إنشاء ملفات إضافية على القرص دون إذنك. يتم إجراء أدوات التحرير والمحاكاة والتحقق من واجهة المستخدم الرسومية من نافذة واحدة تقسيم إلى ثلاث علامات تبويب لتحرير المشروع المحاكي والتحقق منه. يتم تقسيم المحرر إلى إطارين للتنقل لأجزاء المشروع (مثل التصريحات والقوالب) وكتب التعليمات البرمجية، يحقق المحاكاة والتحقيق في عمليات الإعدام الديناميكية المحتملة للنظام أثناء النمذجة، في حين أن أداة التحقق تسهل نظرة عامة على المشروع، مما يتيح لك ذلك اكتب الاستفسارات والتعليقات. من الممكن تكوين إعدادات البرنامج والتكبير والتصغير، وإخفاء التسميات، وإعادة تحميل المحاكاة، والفخان إلى الشبكة، والتحقق وتحويل بناء الجملة، وقم بتغيير ترتيب البحث (العرض الأول، العمق أولا، عمق عشوائي أولا)، اختر الحد من مساحة الدولة و التمثيل، اختر تتبع التشخيص، واستقراء وحجم جدول التجزئة، وأكثر من ذلك. التقييم والناخزوي، لم نواجه أي مشكلات استقرار في اختباراتنا، لأن Uppaal لم يتعطل أو تحطم رسائل الخطأ أو المنبثقة. لديها وقت استجابة جيد والحد الأدنى من التأثير على أداء النظام، لذلك لا يخاف وحدة المعالجة المركزية وذاكرة الوصول العشوائي. الكل في الكل، يأتي uppaal في متناول يدي للطلاب الذين يرغبون في العمل في بيئة متكاملة للنمذجة والتحقق من صحة والتحقق من أنظمة الوقت الفعلي. تم التقييم بواسطة Elena Opris، آخر تحديث في 4 يناير 2015

uppaal. برامج ذات صلة