يتطلب أي مشروع وضع سلسلة من الخطط الأولية قبل بدء التنفيذ، والتي تكون بمثابة الأساس و
يستخدم المهندسون المحاكاة لوصفالبرنامج من وجهة نظر محددة ، على سبيل المثال ، مع البيانات التي سيستخدمها ، أو مكوناته ، أو الطريقة التي يتوقعون أن يعملوا بها. بالعودة إلى مثال مشروع البناء ، ستكون الخطط "نماذج" يمكن استخدامها كدليل أثناء مرحلة التصميم ، وكذلك للنمذجة والاختبار.
وفقا للباحثين ، الأكثر شيوعانوع النموذج المستخدم هو رمز الرسم التخطيطي لفئة لغة النمذجة الموحدة (UML) ، والذي يستخدم لوصف بنية نظام برمجي. ميزة العمل مع هذه النماذج هي أنها أكثر تجريدية من الكود المصدري ، الذي يحتوي على العديد من التفاصيل المحددة حول التقنية المستخدمة. ويمكن أن تكون هذه النماذج أكثر إيجازًا وأسهل في التصنيع والفهم ".
لذلك يمكن أن تخدم المحاكاةبالأحرى خطوة أولية بدلاً من أن تكون بديلاً عن كود المصدر تسهل النماذج فهم النظام الذي يتم تطويره ، ويمكن استخدامها أيضًا لإنشاء عناصر محددة للتنفيذ ، وأتمتة الأجزاء الأكثر تكرارًا في عملية البرمجة.
يستخدم المهندسون أدوات التحقق لمنع الأخطاء التي قد تؤثر على الكود نفسه وبالتالي التنفيذ النهائي للنظام.
"نحن بحاجة إلى التأكد من صحة النماذج لتقليل أي أخطاء برمجية قد تنشأ نتيجة لذلك."
أستاذ في جامعة أوبرتا دي كاتالونيا، وعضو في مجموعة أبحاث SOM Research Lab روبرت كلاريسو
في كل مرة يتم إجراء تغيير على النموذج ،على سبيل المثال ، إضافة المعلومات أو إزالتها أو تغييرها - وهذا يعني أنه يجب إعادة تحليل النظام بأكمله ، لذلك لا يتم التحقق عادةً إلا بعد إنشاء النموذج النهائي في نهاية العملية.
هذه الطريقة مبتكرة أيضًا في ذلكتتعلق باستخدام الشهادات ، أمثلة توضح التشغيل الصحيح للنموذج. كما لاحظ الباحث ، "عندما نقوم بتعديل النموذج ، فإن الحصول على شهادة جديدة يلغي الحاجة إلى التحقق من صحتها.
يعد تكييف الشهادة أرخص بكثيرمن إعادة عملية التحقق. لشرح العملية ، يقترح المؤلفون أنه بدلاً من التحقق من صحة النموذج الجديد ، يمكن تكييف شهادة النموذج الأصلي مع النموذج الجديد. التحدي الأكبر الذي يواجهونه حاليًا هو دمج هذه التقنيات في أدوات وبيئات نمذجة البرامج الحالية.
اقرأ أيضًا:
ستصل الأرض إلى درجة حرارة حرجة في غضون 20 عامًا.
الإجهاض والعلم: ماذا سيحدث للأطفال الذين سينجبون.
تم العثور على أقدم فن صخري في العالم.
كشفت وزارة الصحة الأرجنتينية عن بيانات عن الآثار الجانبية لأولئك الذين تلقوا سبوتنيك في.