| LEADER |
04641nam a2200337 4500 |
| 001 |
1528669 |
| 041 |
|
|
|a eng
|
| 100 |
|
|
|9 608092
|a صندوقة، اسحق ناصر أمين
|e مؤلف
|
| 245 |
|
|
|a The Effectiveness of Using A Statistical Debugging in Python Programs
|
| 246 |
|
|
|a فعالية استخدام التصحيح المبني على الإحصاء في برامج بايثون
|
| 260 |
|
|
|a عمان
|c 2016
|
| 300 |
|
|
|a 1 - 65
|
| 336 |
|
|
|a رسائل جامعية
|
| 502 |
|
|
|b رسالة ماجستير
|c الجامعة الاردنية
|f كلية الدراسات العليا
|g الاردن
|o 13960
|
| 520 |
|
|
|a تحديد موقع الخطأ في النظام هو أحد المواضيع الهامة في مجال فحص البرمجيات. حيث أنه يتيح لمطوري البرامج أن يحددوا موقع الخطأ في شيفرة البرامج الخاصة بهم. يمكن تصنيف تقنيات تحديد موقع الخطأ إلى قسمين: التحليل الثابت الذي يعتمد على فحص الشيفرة المصدرية الخاصة بالبرنامج، والتحليل الديناميكي الذي يعتمد على مراقبة سلوك البرنامج أثناء تشغيله. التصحيح الإحصائي هو أحد تقنيات التحليل الديناميكي. يعتمد على استخدام نماذج إحصائية لسلوك النظام ودراسة حالاته من حيث النجاح والفشل بهدف متابعة الأخطاء وتحديد الجزء المرتبط بها من الشيفرة المصدرية. في هذه الرسالة، تم دراسة بعض خوارزميات التصحيح الإحصائي، مع التركيز على الخوارزميات التي يمكن استخدامها في لغات البرمجة الديناميكية. أولا: قمنا بدراسة معمقة لخوارزميات التصحيح الإحصائي وما يتعلق بها. ثانيا قمنا بتجربة خوارزميتين من هذه الخوارزميات على مجموعة من البرامج المكتوبة بلغة البرمجة الديناميكية بايثون. قمنا ببرمجة خمسة برامج باستخدام بايثون، تم تصنيف هذه البرامج حسب تركيبها ودرجة تعقيدها. قمنا بعمل نسختين من كل برنامج، إحداهما صحيحة والأخرى تم حقنها ببعض الأخطاء. وتمت إضافة الفرضيات إلى البرامج لتتبع الأخطاء. قمنا بتجربة خوارزميتي SOBER و Cause Isolationلترتيب الفرضيات وتحديد الفرضيات التي تتعلق بالأخطاء. النتائج أوضحت أنه في البرامج التي تحتوي على خطأ واحد فقط، كلتا الخوارزميتين المذكورتين نجحت في تحديد مكان الخطأ بشكل فعال. في البرامج التي تحتوي على أكثر من خطأ، خوارزمية SOBER واجهت مشاكل تتعلق بالفرضيات المتداخلة، والفرضيات نادرة المشاهدة، والفرضيات المكملة لبعضها البعض. بينما واجهت خوارزمية في Cause Isolation مشاكل تتعلق بترتيب الفرضيات حسب أهميتها وتحديد الأخطاء التي تكون في نفس شرط الفرضية. في البرامج الأكبر حجما، تنخفض دقة الخوارزميتين في تحديد مكان الخطأ لكن نتائجها تبقى مناسبة وإن كانت غير مثالية.
|
| 653 |
|
|
|a التصحيح الإحصائي
|a التحليل الديناميكي
|a البرمجة الديناميكية
|a برامج بايثون
|
| 700 |
|
|
|9 52339
|a الزغول، فواز أحمد
|g AL Zaghoul, Fawaz A.
|e مشرف
|
| 700 |
|
|
|9 176740
|a النمر، لؤي مدحت عوني
|g Alnemer, Loai Medhat
|e مشرف
|
| 856 |
|
|
|u 9802-001-008-13960-T.pdf
|y صفحة العنوان
|
| 856 |
|
|
|u 9802-001-008-13960-A.pdf
|y المستخلص
|
| 856 |
|
|
|u 9802-001-008-13960-C.pdf
|y قائمة المحتويات
|
| 856 |
|
|
|u 9802-001-008-13960-F.pdf
|y 24 صفحة الأولى
|
| 856 |
|
|
|u 9802-001-008-13960-1.pdf
|y 1 الفصل
|
| 856 |
|
|
|u 9802-001-008-13960-2.pdf
|y 2 الفصل
|
| 856 |
|
|
|u 9802-001-008-13960-3.pdf
|y 3 الفصل
|
| 856 |
|
|
|u 9802-001-008-13960-4.pdf
|y 4 الفصل
|
| 856 |
|
|
|u 9802-001-008-13960-R.pdf
|y المصادر والمراجع
|
| 856 |
|
|
|u 9802-001-008-13960-S.pdf
|y الملاحق
|
| 930 |
|
|
|d y
|
| 995 |
|
|
|a Dissertations
|
| 999 |
|
|
|c 1132842
|d 1132842
|
