الصفحة الرئيسية
عن الكلية
تاريخ الكلية
الخطة الاستراتيجية
الإدارة>
الإدارة الحالية
الإدارة السابقة
الهيكل التنظيمي
اللجنة الاستشارية الصناعية
ألبوم الصور
دليل المعامل
الأقسام العلمية
علوم الحاسبات
تقنية المعلومات
نظم المعلومات
أكاديميات
برامج البكالوريوس
برامج الدراسات العليا
البرامج التنفيذية
التقويم الأكاديمي
القبول في الكلية
القبول و التحويل لمرحلة البكالوريوس>
شروط التسكين في الكلية (القبول من السنة التحضيرية)
التحويل إلى الكلية
القبول للدراسات العليا
القبول في البرامج التنفيذية
البحث العلمي
المجموعات والوحدات>
المجموعات البحثية
الاهتمامات البحثية لأعضاء هيئة التدريس
برنامج العلماء المتميزون
مجلة الكلية
منسوبو الكلية
أعضاء هيئة التدريس
قسم علوم الحاسبات
قسم تقنية المعلومات
قسم نظم المعلومات
الكادر الإداري
نظام ادارة الاعتماد الاكاديمي (AIMS)
وحدة التطوير والجودة
توظيف أعضاء هيئة التدريس
طاقات تحت الضوء
ميثاق أخلاقيات المهنة
الطلاب
مرحلة البكالوريوس>
الخدمات الأكاديمية
مقررات السنة التحضيرية
دليل الطالب
الإرشاد الأكاديمي
المعامل والمرافق
حقوق وواجبات الطالب
الدارسات العليا>
السياسات و اللوائح
دليل الطالب
دليل الدراسات العليا
توجيه الطلاب الجدد
قوالب مقترحات و رسائل الماجستير والدكتوراة
المواد
علوم الحاسبات
تقنية المعلومات
نظم المعلومات
تسجيل الخريجين
الأنشطة الطلابية
نادي ريادة الأعمال
نادي الأمن السيبراني
نادي علم البيانات
نادي البرمجة
الارتباط بالمجتمع
الشراكات الصناعية>
أكاديمية سيسكو
أكاديمية مايكروسوفت
أكاديمية أوراكل
خدمة المجتمع والتنمية المستدامة
الملفات
الأبحاث
تواصل معنا
عربي
English
عن الجامعة
القبول
الأكاديمية
البحث والإبتكار
الحياة الجامعية
الخدمات الإلكترونية
صفحة البحث
كلية الحاسبات وتقنية المعلومات
تفاصيل الوثيقة
نوع الوثيقة
:
مقال في مؤتمر
عنوان الوثيقة
:
استخدام لغة التأكيد المؤقتة (TAL) في اختبار تطبيقات الويب
Temporal Assertion Language for Testing Web Applications
الموضوع
:
Web
لغة الوثيقة
:
الانجليزية
المستخلص
:
تعرض الورقة العلمية الحالية لغة التأكيد المعتمدة على المنطق المؤقت والتي يمكن أن تساعد في كشف الأخطاء الديناميكية في الموجودة في تطبيقات الويب. يمكن الأستفادة من المنطق المؤقت حيث أنه يتعامل مع عملية تطور الحالات عبر الزمن. تم عرض المعاملات ، والبنية التركيبية والدلالية للغة. كما قمنا أيضاً في هذه الورقة العلمية بتقديم معمارية وتفاصيل برمجية للوكلاء البرمجيين بالإعتماد على أدوات التحليل الديناميكية الخاصة باختبار تطبيقات الويب التي تمت كتابتها بلغة الجافا. تستخدم الأدة لغة التأكيد المؤقتة في كشف أخطاء التشغيل في تطبيقات الويب. تقوم الأداة التي قمنا بتطويرها بالتحقق من إمكانية تطبيق المنطق المؤقت في بناء نظام تحليل ديناميكي لاختبار تطبيقات الويب. سنعرض أيضاً في هذا البحث فعالية لغة التأكيد المؤقتة في كشف أخطاء التشغيل في تطبيقات الويب.
اسم المؤتمر
:
1st Taibah University International Conference on Computing and Information Technology, ICCIT 2012
الفترة
:
من : 00 هـ - إلى : 00 هـ
من : 00 م - إلى : 00 م
سنة النشر
:
1433 هـ
2012 م
عدد الصفحات
:
00
نوع المقالة
:
مقالة علمية
تاريخ الاضافة على الموقع
:
Wednesday, June 27, 2012
الباحثون
اسم الباحث (عربي)
اسم الباحث (انجليزي)
نوع الباحث
المرتبة العلمية
البريد الالكتروني
فتحي البرعي عيسى
Eassa, Fathy Elbouraey
باحث رئيسي
fathy55@yahoo.com
تهاني الجهني
Aljehani, Tahani
باحث مشارك
ميسون ابوالخير
Abulkhair, Maysoon
باحث مشارك
دكتوراه
الملفات
اسم الملف
النوع
الوصف
33800.pdf
pdf
الرجوع إلى صفحة الأبحاث