8495

8495

طراحي و پياده سازي محيطي به منظور اشكال زدايي نرم افزار با تحليل آماري اطلاعات اجرايي برنامه

كارشناسي ارشد

كامپيوتر

تير 1390

تير 1390

دكتر سعيد پارسا

چكيده اشكال زدايي نرمافزار يكي از مهمترين مراحل توليد نرمافزار است. به دلي ل زمان گي ر و غيردقي ق بودن اشكال زدايي نرمافزار به صورت دستي، در ساليان اخير تلاش زيادي براي خودكار نمودن اي ن فرآيند صورت گرفته است. در اين پايان نامه، رويكرد جديدي براي اشكال زدايي خودكار نرمافزار بر اساس تحليل آماري اطلاعات اجرايي برنامه ارايه شده است. در روشهاي اشكال زدايي آماري تلاش ميشود تعيين كننده هاي موثر بر نتيجه برنامه شناسايي شوند. اين روشها، اغلب تعيين كننده ها ي برنامه را به صورت مستقل از يكديگر در نظر ميگيرند، در حالي كه بسياري از مواقع تعيين كننده - ها به طور همزمان بر نتيجه برنامه موثرند. همچنين اين روشها تنها نقطه يا نقاطي از برنامه را به عنوان نقاط مشكوك به خطا معرفي ميكنند، حال آنكه با در دست داشتن ز يرمس يري از برنامه، خطا آسانتر مكان يابي ميشود. از سوي ديگر، روشهاي آماري مقياس پذير نيستند. علاوه بر اي ن، اين روشها توانايي لازم براي مكان يابي بيش از يك خطا در برنامه را ندارند. بر اين اساس در اي ن پاي ان نامه روش ي ارايه شده است كه با استفاده از اطلاعات اجرا يي تعيين كننده هاي برنامه و بر اساس روشهاي آماري به مكان يابي خطا با رفع ا ي ن مشكلات م ي- پردازد. در اين روش با خوشه بندي سلسله مراتبي تعيين كننده ها بر اساس ميزان همبستگي، تعداد تعيين كننده ها در سطوح مختلف به طور قابل توجه ي كاهش داده م يشود (افزا يش خاص يت براي هر سطح، تعيين كننده هاي مرتبط با خطا حذف شده Lasso مقياس پذيري). با ساخت مدل و مابقي بر اساس ضريب رگرسيوني مرتب ميشوند. سپس با اعمال الگوريتم پيشنهادي رايگي ري اكثريت، مجموعهاي از تعيين كننده هاي مظنون به خطا در سطوح مختلف شناسا يي م يشود . همچنين روش پيشنهادي با استفاده از مجموعه تعيين كننده هاي مظنون به خطا، بهترين زيرمسير خطادار در برنامه را ايجاد ميكند. خاصيت گروهبندي روش پيشنهادي كشف بيش از يك خطا در برنامه را امكان پذير ميسازد. ارزيابي نتايج حاصل از رويكرد پيشنهاد ي برا ي مجموعه ز يمنس، دقت و درستي بهتر اين روش را نسبت به ديگر روشها نشان ميدهد. Bash و Space خوشه بندي سلسله ،Lasso واژه هاي كليدي: مكان يابي خطا، اشكال زدايي آماري، رگرس يون مراتبي، تعيين كننده هاي مرتبط با خطا.