6008

6008

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

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

كامپيوتر - نرم افزار

تير 87

تير 87

دكتر پارسا

چكيده صسس هدف، پيش گيري از آسيب هاي حاصل از خطاهاي معنايي در هنگام اجراي برنامه ها است. پيش گيري از آسيب هاي ناشي از خطا به خصوص در نرم افزارهاي كنترلي كه داراي كاربردهاي بحراني در صنعت و يا در ارتباط با جان افراد هستند، اهميت دارد. مشكل در اينجا است كه نمي توان پيش از تحويل نرم افزار به كاربران، كليه مسيرهايي كه منجر به بروز خطا در اجراي نرم افزار مي شوند را تشخيص داد. براي رفع اين مشكل با توليد موارد آزمونِِ مناسب، برنامه را چندين بار به اجرا در مي آورند تا مدلي از رفتارهاي درست و نادرست برنامه حاصل گردد و سپس رفتار نر مافزارِ استقراريافته را به واسطه اين مدل ارزيابي مي كنند. مسأله مهم اين است كه نمي توان بر مبناي صرفاً اجراهاي موفقِ برنامه، مدل رفتاري را ايجاد نمود. زيرا عدم رفتار برنامه بر طبق اينگونه مدل لزوماً گوياي اجراي ناموفق برنامه نيست. لذا، در اين تحقيق مدل بر مبناي اجراهاي موفق و ناموفق ايجاد مي شود. البته واضح است كه نرم افزارِ آماده تحويل ظاهراً فاقد هرگونه خطايي است. لذا، با استفاده از تكنيك كشت خطا مي توان مبادرت به ايجاد اجراهاي ناموفق نمود. مدل رفتاري برنامه بايد به گون هاي ساخته شود كه قادر به ارزيابي دقيق رفتارهاي برنامه در مدت زمان قابل قبول باشد. براي رفع اين مشكل در اين تحقيق براي اولين بار از ماشين هاي بردار پشتيبان جهت مدل سازي رفتار برنامه استفاده شده است. به منظور رسيدن به هدف اصلي يعني پي شگيري از شكست نرم افزار، رفتار برنامه در حين اجرا به واسطه مدل ارزيابي مي شود تا ناهنجاري در اجرا پيش بيني شود. اما يك مسأله مهم، تعيين نقاط تطابق با مدل است. بدين منظور نقاط منشعب شدن مسير اجراي برنامه و مكان هاي برگشت مقادير از توابع مد نظر قرار داده شده است. پس از پيش بيني ناهنجاري در رفتار برنامه، با به كارگيري روش برش بندي مرتبط، علل اصلي بروز خطا كشف شده و به كاربر اعلام مي شوند. ،EXIF به منظور ارزيابي را هكار پيشنهادي از سه نرم افزار شناخته شده و استاندارد به نام هاي استفاده شده است. نتايج آزمايشات نشان داده است، كه راه كار پيشنهادي علاوه بر Siemens و Rythmbox با بررسي حجم Siemens تشخيص زودهنگامِ خطاهاي اعلام شده در اين نرم افزارها توانسته در نرم افزار كمتري از كد توسط كاربر، چندين خطاي اضافي را بيابد. ضمن آنكه به سبب استفاده از روش برش بندي مرتبط، علل اصلي بروز خطا در اين سه نرم افزار به كاربر معرفي شده است. كلمات كليدي: اشكال زدايي نرم افزار، نرم افزارهاي عملياتي، تشخيص زودهنگام خطا، عبارت تعيين كننده، خطاي معنايي