عناصر مشابهة
Towards Practical Runtime Monitoring Approach for Aspect-Oriented Programs Using Model Checking
العنوان بلغة أخرى: | منهجية مراقبة عملية التنفيذ للبرامج الموجهة باستخدام نماذج التحقق |
---|---|
الناشر: |
إربد
|
المؤلف الرئيسي: | |
مؤلفين آخرين: | |
التاريخ الميلادي: | 2019 |
الصفحات: | 1 - 114 |
رقم MD: | 1125341 |
نوع المحتوى: | رسائل جامعية |
اللغة: | English |
قواعد المعلومات: | Dissertations |
الدرجة العلمية: | رسالة ماجستير |
الجامعة: | جامعة اليرموك |
الكلية: | كلية تكنولوجيا المعلومات وعلوم الحاسوب |
مواضيع: | |
رابط المحتوى: |
المستخلص: | عادة ما تتأثر أنظمة البرمجيات بشكل مستمر بالتغييرات غير المتوقعة والغير مخطط لها مسبقا، وقد تؤثر هذه التغييرات بشكل مباشر على جودة أداء ومخرجات النظام مما قد يعرض قدرة النظام على تلبية احتياجات ومتطلبات النظام للانهيار. في هذه الأطروحة يقترح استخدام نموذج مبني على مفاهيم وأسس ال AOP لمراقبة عمل النظام وتحسين معايير جودة الكود المصدري للنظام، ومن ثم تسهيل فحص كل أجزاء النظام ومنطق عمله. إن استخدام نماذج البرامج وتقنيات التحقق من النماذج أثناء عمل النظام يدعم التفكير الآلي حول هذه التغييرات، والكشف عن الأضرار المحتملة، والمخاطر التي قد تؤثر على عمل البرنامج أو النظام، وربما تحديد ردود الفعل (الذاتية) المناسبة. في هذه الأطروحة يقترح استخدام نماذج AOP لتنفيذ مرحلة التحقق من عمل النظام ومراقبة عمله وسلوكياته من خلال حقنها في البرامج الموجهة للكائنات. وقدتم تطبيق المنهجية المقترحة على 10 برامج من تطبيق 7.6 JhotDraw وهو برنامج يحتوي على مجموعة كبيره من الكلاسات. تم اختيار هذه ال 10 برامج بشكل عشوائي وتم تطبيق النموذج المقترح على كل واحدة منها 5 مرات. قمنا بجمع النتائج من كل تجربة (50 تجربة) في ملفات log files ومن ثم قمنا باستخراج القيم الرقمية فقط من هذه الملفات وتخزينها في ملفات أخرى من اجل فحصها والتحقق من مطابقتها للمتطلبات الأولية. باستخدام تقنيات وأدوات الفحص الإحصائية قمنا بإدخال البيانات التي حصلنا عليها من المرحلة السابقة وتم التأكد من صحة الفرضية المقترحة والتي تؤكد بان حقن النماذج الموجهة الجانب تراقب عمل النظام وتتحقق من صحة عملة دون التأثير على سلوكه أو بياناته ومخرجاته. |
---|