تفاصيل الوثيقة

نوع الوثيقة : رسالة جامعية 
عنوان الوثيقة :
عمل تكامل بين طرق التحليل الثابت و التحليل الديناميكي للكشف عن الأخطاء الديناميكية في برامج MPI
INTEGRATING STATIC AND DYNAMIC ANALYSIS TECHNIQUES FOR DETECTING DYNAMIC ERRORS IN MPI PROGRAMS
 
الموضوع : كلية الحاسبات وتقنية المعلومات 
لغة الوثيقة : العربية 
المستخلص : تعد واجهة تمرير الرسائل المعيار الفعلي لبرمجة الحواسيب عالية الآداء وهي جاهزة لتوسيع نطاقها إلى نطاق أنظمة متطرفة مع الملايين من العقد والمليارات من الأنوية. ومع هذا الكم الهائل من المكونات ستكون واجهة تمرير الرسائل عرضة للأخطاء فالعديد من الأخطاء يمكن أن تظهر عند التنفيذ مثل الجمود وتسابق الاستدعاءات. الاختبار والفحص يكون له قيمة عالية في اكتشاف الأخطاء في البرامج، وعلاوة على ذلك إن لم يوجد أخطاء في البرامج تقنيات الاختبار ستزيد من الثقة في البرنامج لأنه صحيح وبدون أخطاء. تساهم هذه الرسالة في الكشف المبكر لبعض أنواع الأخطاء خلال التحليل الثابت عن طريق تمثيل جديد لبرامج MPI باستخدام ويعد امتداداً لتمثيل clang compiler. يقدم هذا التمثيل معلومات مفصلة حول تبادل الرسائل يتم من خلالها اكتشاف الأخطاء كالجمود وتسابق الاستدعاءات في الاتصالات بين عمليتين أو بين مجموعة عمليات. يتم الإعلان عن الأخطاء المحتملة في مرحلة التحليل الثابت وبالتالي يتم فقط فحص المسارات التي تحتوي على أخطاء محتملة في مرحلة التحليل الديناميكي بدلاً من فحص جميع المسارات وبالتالي يقل وقت التشغيل. أظهرت النتائج قدرة الأداة على اكتشاف الأخطاء عند تطبيقها على مجموعة من البرامج. 
المشرف : د. مي أحمد فاضل 
نوع الرسالة : رسالة ماجستير 
سنة النشر : 1439 هـ
2018 م 
تاريخ الاضافة على الموقع : Monday, July 2, 2018 

الباحثون

اسم الباحث (عربي)اسم الباحث (انجليزي)نوع الباحثالمرتبة العلميةالبريد الالكتروني
رنا عبد الرزاق النمرAlnemari, Rana AbdulRazaqباحثماجستير 

الملفات

اسم الملفالنوعالوصف
 43551.pdf pdf 

الرجوع إلى صفحة الأبحاث