الصفحة الرئيسية
عن العمادة
العميد
كلمة العميد
السيرة الذاتية
التواصل مع العميد
الرؤية والرسالة
الهيكل التنظيمي
وكالات العمادة
وكــلاء العمادة
الدراسات العليا بجامعة الملك عبد العزيز
العمداء السابقين
الخدمات البحثية والدورات
وحدة الخدمات البحثية
ابحاث مهمة للمجتمع
خدمات العمادة
أسئلة متكررة
الأبحاث
دليل المنسوبين
الملفات
مواقع مفضلة
دعم الطلاب
خريطة الوصول للعمادة
آلية توزيع الاستبانات
جوائز الدراسات العليا
التقديم على الجوائز
الفائزون بالجوائز للعام الجامعي 1440
منسوبو العمادة
دليل الموظفين
تواصل معنا
عربي
English
عن الجامعة
القبول
الأكاديمية
البحث والإبتكار
الحياة الجامعية
الخدمات الإلكترونية
صفحة البحث
عمادة الدراسات العليا
تفاصيل الوثيقة
نوع الوثيقة
:
رسالة جامعية
عنوان الوثيقة
:
الكاشف عن الأخطاء الديناميكية في الوكيل البرمجي المعتمد على الجافا
Tester for Dynamic Errors for Java Based Software Agent
الموضوع
:
كلية الحاسبات وتقنية المعلومات-علوم حاسبات
لغة الوثيقة
:
العربية
المستخلص
:
الاختبار هو مرحلة أساسية في هندسة البرمجيات. وهي عملية تهدف إلى مراقبة عملية تشغيل النظام البرمجي للتحقق من صحة البرنامج و ما إذا كان بني ويعمل على النحو المنشود،. كما أنه يهدف إلى الكشف عن الأخطاء التي يمكن أن تؤدي في بعض الأحيان في خسائر كبيرة في الأموال و الأرواح. يعتبر "الوكيل" تقنية واعدة لبناء الجيل المقبل من تقديم الخدمات التي تتميز بالمرونة في نقلها.وتستخدم بشكل متزايد في مجالات مختلفة تتطلب قدرة على اتخاذ القرار باستقلالية، و قدرة على انجاز العمل بالتعاون مع برامج و أنظمة أخرى، إضافة إلى قدرتها على القيام بالمبادرة باتخاذ اجراءات لازمة لتحقيق أهدافها .. و مع أن التحقق من جودة بناء الوكيل يخدم حاجة ملحة إلا أن عملية اختبار الوكيل مازالت في مراحلها الابتدائية لضمان جودة عالية. يهدف هذا البحث إلى تحري إمكانية تطبيق تقنية "التوكيد" Assertions التي تقوم بتحليل التسلسل الزمني لأوامر البرنامج في اختبار الوكيل. يشمل البحث بناء لغة توكيد تعتمد على المنطق الرياضي الزمني Temporal Logic و التحقق من فاعلية هذه اللغة ببناء أداة تسمى ASERTN. تعمل هذه الأداة على كشف الأخطاء أثناء تشغيل البرنامج و الذي هو في هذه الحالة وكيل مبني باستخدام إطار العمل المسمى JADE. تعتمد الأداة في عملها على حقن البرنامج المراد اختباره بجمل توكيد أي عمل Instrumentation تساعد على تحليل البيانات التي يتم مراقبتها أثناء تشغيل البرنامج. أجريت عدة تجارب للتأكد من فاعلية الأداة في اختبار الوكيل على مستوى منفرد كاختبار أجزائه الداخلية مثل Behaviour و على مستوى جماعي كاختبار صحة التواصل ما بين وكيل و آخر. شملت أنواع الأخطاء التي تمكنت الأداة من الكشف عنها الأخطاء المتعلقة بتشغيل عدة أجزاء من البرنامج بشكل متوازٍ و أخطاء ناتجة عن التنفيذ على التوالي او التوازي. وكذلك تم اكتشاف أخطاء التواصل بين الوكلاء و الذي يعد أحد أنواع اختبار التكامل في عمل النظام. اختتم البحث بدراسة مقارنة بين إمكانيات الأداة ASETRN و ما تم بنائه من أدوات في أبحاث أخرى متعلقة باختبار الوكيل البرمجي
المشرف
:
د.فتحي البرعي عيسى
نوع الرسالة
:
رسالة ماجستير
سنة النشر
:
1433 هـ
2012 م
المشرف المشارك
:
د.مي احمد فاضل
تاريخ الاضافة على الموقع
:
Monday, September 3, 2012
الباحثون
اسم الباحث (عربي)
اسم الباحث (انجليزي)
نوع الباحث
المرتبة العلمية
البريد الالكتروني
سهيلة محمد صندقجي
Sandokji, Suhelah Mohammad
باحث
ماجستير
الملفات
اسم الملف
النوع
الوصف
34141.pdf
pdf
الرجوع إلى صفحة الأبحاث