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