الصفحة الرئيسية
عن الكلية
تاريخ الكلية
الخطة الاستراتيجية
الإدارة>
الإدارة الحالية
الإدارة السابقة
الهيكل التنظيمي
اللجنة الاستشارية الصناعية
ألبوم الصور
دليل المعامل
الأقسام العلمية
علوم الحاسبات
تقنية المعلومات
نظم المعلومات
أكاديميات
برامج البكالوريوس
برامج الدراسات العليا
البرامج التنفيذية
التقويم الأكاديمي
القبول في الكلية
القبول و التحويل لمرحلة البكالوريوس>
شروط التسكين في الكلية (القبول من السنة التحضيرية)
التحويل إلى الكلية
القبول للدراسات العليا
القبول في البرامج التنفيذية
البحث العلمي
المجموعات والوحدات>
المجموعات البحثية
الاهتمامات البحثية لأعضاء هيئة التدريس
برنامج العلماء المتميزون
مجلة الكلية
منسوبو الكلية
أعضاء هيئة التدريس
قسم علوم الحاسبات
قسم تقنية المعلومات
قسم نظم المعلومات
الكادر الإداري
نظام ادارة الاعتماد الاكاديمي (AIMS)
وحدة التطوير والجودة
توظيف أعضاء هيئة التدريس
طاقات تحت الضوء
ميثاق أخلاقيات المهنة
الطلاب
مرحلة البكالوريوس>
الخدمات الأكاديمية
مقررات السنة التحضيرية
دليل الطالب
الإرشاد الأكاديمي
المعامل والمرافق
حقوق وواجبات الطالب
الدارسات العليا>
السياسات و اللوائح
دليل الطالب
دليل الدراسات العليا
توجيه الطلاب الجدد
قوالب مقترحات و رسائل الماجستير والدكتوراة
المواد
علوم الحاسبات
تقنية المعلومات
نظم المعلومات
تسجيل الخريجين
الأنشطة الطلابية
نادي ريادة الأعمال
نادي الأمن السيبراني
نادي علم البيانات
نادي البرمجة
الارتباط بالمجتمع
الشراكات الصناعية>
أكاديمية سيسكو
أكاديمية مايكروسوفت
أكاديمية أوراكل
خدمة المجتمع والتنمية المستدامة
الملفات
الأبحاث
تواصل معنا
عربي
English
عن الجامعة
القبول
الأكاديمية
البحث والإبتكار
الحياة الجامعية
الخدمات الإلكترونية
صفحة البحث
كلية الحاسبات وتقنية المعلومات
تفاصيل الوثيقة
نوع الوثيقة
:
مقال في مؤتمر
عنوان الوثيقة
:
الأداة (ASERTN) : أداة اختبار ديناميكية للوكلاء البرمجيين المعتمدين على لغة جافا
ASERTN: A Dynamic Testing Tool For Java Based Software Agent
لغة الوثيقة
:
الانجليزية
المستخلص
:
تعتبر الإختبارات أنشطة أساسية في هندسة البرمجيات. فالإختبارات عبارة عن عملية مراقبة تنفيذ لنظام برمجي والتحقق قيام بتفيذ التعليمات كما يراد منه وكذلك التعرف على الأخطاء التي قد تتسبب أحياناً في حدوث خسائر مالية كبيرة أو قد تتسبب في أذى جسماني. يعتبر الوكلاء البرمجيين تقنية واعدة في بناء خدمات التطبيقات المتنقلة الخاصة بالجيل القادم ، حيث يتم استخدامها بشكل متزايد في مجالات مختلفة من التطبيقات والتي تتطلب الاستقلالية والمبادرة والتعاون. وبالتالي، فإن الطلب يتزايد على مستوى عالٍ من جودة الوكلاء البرمجيين. إلا أن عملية الإختبار تظل أحد التحديات الماثلة أمام التأكد من تحقيق مستوى جودة عالي. يناقش البحث العلمي الحالي قابلية تطبيق لغة التأكيد (assertion language) المعتمدة على المنطق المؤقت كوسيلة للكشف عن أخطاء وقت التشغيل في الوكلاء البرمجيين التي تم إنشاؤها بلغة الجافا. يركز جزء من البحث الحالي على تطوير لغة التأكيد وتطوير أداة (ASERTN) لتوضيح للمفهوم. كما تصف الورقة العلمية الحالية التركيب البنيوي والدلالي للنسخة المطورة من لغة التأكيد وكذلك عرض معمارية وطريقة تنفيذ أداة (ASERTN).
اسم المؤتمر
:
1ST TAIBAH UNIVERSITY INTERNATIONAL CONFERENCE ON COMPUTING AND INFORMATION TECHNOLOGY, ICCIT 2012
الفترة
:
من : 00 هـ - إلى : 00 هـ
من : 00 م - إلى : 00 م
سنة النشر
:
1433 هـ
2012 م
عدد الصفحات
:
00
نوع المقالة
:
مقالة علمية
تاريخ الاضافة على الموقع
:
Monday, June 25, 2012
الباحثون
اسم الباحث (عربي)
اسم الباحث (انجليزي)
نوع الباحث
المرتبة العلمية
البريد الالكتروني
Suhelah Mohammed Sandokji
Sandokji, Suhelah Mohammed
باحث رئيسي
مي فاضل
Fadel, Mai
باحث مشارك
دكتوراه
الملفات
اسم الملف
النوع
الوصف
33785.pdf
pdf
الرجوع إلى صفحة الأبحاث