الصفحة الرئيسية
عن العمـــــادة
نبذه عن العمادة
كلمة العميد
الرؤية
الرسالة
سياسة الجودة
الكتيب التعريفي
أدلة ارشادية
الخطة الاستراتيجية البحثية
دليل المنسوبين
مستشاري العمادة
وكالات العمادة
وكالة العمادة للمجموعات البحثية
وكالة العمادة للأبحاث
وحدة تعزيز التعاون البحثي الخارجي
البرنامج العام للنشر المصنف
وكالة العمادة بشطر الطالبات
البرامج البحثيــة
برامج الأبحاث الداخلية
برنامج الدعم المصنف
برامج الأبحاث الخارجية
برنامج المجموعات البحثية
نبذه عن المجموعات البحثية
المجموعات البحثية النشطة
ضوابط انشاء مجموعة بحثية جديدة
خدمات الباحثين
شعبة نشر الاستبانات
شعبة برامج كشف الاستلال العلمي
قائمة المجلات العلمية
نماذج البرامج البحثية
استفسارات الباحثين
الإنتاج البحثي للتمويل المؤسسي
مكافأة التميز
مكافأة التميز
بوابة أبحاثي
الوسائط الرقمية
الوسائط الرقمية
الفعاليات والجوائز
جوائز التميز المعرفي
جوائز التميز المعرفي
الفائزون بجوائز التميز المعرفي
أسبوع البحث العلمي
أسبوع البحث العلمي الرابع عشر
برنامج منارات بحثية
احصائيات منارات بحثية
جدول منارات بحثية
فعاليات العمادة للمنسوبين
الانتاج العلمي والبحثي
الإنتاج البحثي للتمويل المؤسسي
English
آخر الأخبار
الملفات
عربي
English
عن الجامعة
القبول
الأكاديمية
البحث والإبتكار
الحياة الجامعية
الخدمات الإلكترونية
صفحة البحث
عمادة البحث العلمي
تفاصيل الوثيقة
نوع الوثيقة
:
بحث مدعم
عنوان الوثيقة
:
اختبار النظم المبنية باستخدام لغات البرمجة الكينونية.
Test systems built using programming languages Alkinnonah
لغة الوثيقة
:
العربية
المستخلص
:
لتقليل أخطاء البرمجيات وزيادة دقتها يتم اختبار البرمجيات في إحدى مراحل دورة بناء البرمجيات . بينما مازالت أساليب اختبار النظم المبنية باستخدام لغات البرمجة الكينونية في بداياتها ، تلاقي تقنية البرمجة الكينونية قبولاً في مجال بناء البرمجيات . في هذا البحث تم استخدام لغة استخلاص مبنية على المنطق المؤقت لاختبار النظم المبنية باستخدام لغات البرمجة الكينونية ديناميكياً . تحتوي اللغة المقترحة على نوعين من جمل لغة الاستخلاص : جملة وحدة الاستخلاص لاختبار الطبقة ، وجملة تكامل الاستخلاص لاختبار مجموعة من الطبقات . أيضاً تم بناء نظام هندسة عكسية يعتمد على تقنية البرمجة الكينونية ، حيث يقوم النظام بقراءة برنامج باللغة الكينونية ومن ثم تكوين الشكل التداخلي . ويستعين المستخدم بالشكل التداخلي في اختيار جمل الاستخلاص المناسبة لاختبار البرنامج . نظام الهندسة العكسية المستخدم تم بناؤه واختباره ويعتبر نظام الهندسة العكسية جزء من نظام اختبار النظم المبنية باستخدام لغات البرمجة الكينونية . أيضاً تم بناء مختبر ديناميكي باستخدام لغة C++ لاختبار النظم المبنية باستخدام لغات البرمجة الكينونية . حيث يكتشف المختبر أخطاء وقت التنفيذ. ويتكون المختبر من أداتين : أداة التزويد وأداة أخطاء وقت التنفيذ. تقوم أداة التزويد بتحويل البرنامج المصدر المتكامل (البرنامج المصدر مع جمل الاستخلاص التي تمت إضافتها إليه) إلى برنامج مكافئ بلغة C++. أما أداة أخطاء وقت التنفيذ فهي تقوم باكتشاف الأخطاء الموجودة في البرنامج تحت الاختبار . هذا بالإضافة إلى أن الأداة تعمل على إيقاف تنفيذ البرنامج في حالة ظهور أخطاء . المختبر الديناميكي تم بناؤه واختباره .
سنة النشر
:
1418 هـ
1998 م
اسم الداعم
:
جامعة الملك عبدالعزيز
سنة الدعم
:
1418 هـ
1998 م
تاريخ الاضافة على الموقع
:
Wednesday, April 30, 2008
الباحثون
اسم الباحث (عربي)
اسم الباحث (انجليزي)
نوع الباحث
المرتبة العلمية
البريد الالكتروني
فتحي البرعي عيسى
issa, fathi elborai
باحث رئيسي
دكتوراه
الملفات
اسم الملف
النوع
الوصف
30092.docx
docx
الرجوع إلى صفحة الأبحاث