تفاصيل الوثيقة نوع الوثيقة : رسالة جامعية  عنوان الوثيقة : الكاشف عن الأخطاء الديناميكية في الوكيل البرمجي المعتمد على الجافا 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   الرجوع إلى صفحة الأبحاث