reactis. يساعد المهندسين في بناء البرامج بشكل أسرع عن طريق أتمتة العديد من التحقق
التحميل الان

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

reactis. العلامات

reactis. وصف

يساعد المهندسين في بناء برامج أفضل بشكل أسرع عن طريق أتمتة العديد من مهام التحقق والتحقق من الصحة في عملية التصميم المستند إلى النموذج. التصميم القائم على النموذج ينمو بشعبية بين المهندسين الذين يقومون بتطوير برنامج التحكم المضمن. في التصميم المستند إلى النموذج، يتم تطوير النماذج المرئية القابلة للتنفيذ لبرنامج التحكم المضمن مسبقا من تطبيق النظام. قد يتم استخدام النماذج لدفع تطوير برنامج التحكم، وقد تكون أيضا بمثابة أساس للاختبار البرمجيات والنظام. أحد الاستفادة من التصميم القائم على النموذج هو أنه يسمح للمهندسين ببدء أنشطة تصحيح الأخطاء والتحقق في وقت التصميم، عندما تكون تكلفة الكشف والتعامل مع عيوب التصميم أصغر بكثير من مستوى برنامج تنفيذ النظام. آخر هو أن النماذج يمكن استخدامها كأساس لتقييم سلوك التنفيذ أثناء اختبار النظام والتحقق من الصحة. لهذه الأسباب، يمكن أن يؤدي الاستخدام الحكيم للنمذجة إلى التخفيضات ذات الإزدادات المثيرة تماما في تكلفة تطوير نظام التحكم، خاصة عند توفر دعم الأدوات القوي. سمات: - توليد الاختبارات من نموذج تمارس النموذج (الاختبار الهيكلية)؛ - ابحث عن أخطاء وقت التشغيل (على سبيل المثال أخطاء تجاوز الفائض، أخطاء تقسيم حسب الصفر) في نموذج؛ - تنفيذ نموذج وتتبع التغطية (E.G. MC / DC)؛ - إجراء اختبارات وظيفية للتحقق مما إذا كان هناك نموذج يمكن أن ينتهك متطلباته أم لا؛ - استخدم مجموعة اختبار Recectis كأوروبي للتحقق مما إذا كان التعليمات العامة يتوافق مع نموذج.

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