ارائه­ ي روشي مبتني بر پوشش دامنه جهت مكان­يابي خودكار خطا

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

آزمون نرم­ افزار يكي از مراحل مهم در چرخه حيات توسعه نرم­ افزار است. روند آزمون هر سال صدها ميليارد دلار در سراسر جهان هزينه دارد. بنابراين، حتي پيشرفت­ هاي اندك در اين زمينه مي­تواند موجب كاهش هزينه­ و زمان بسيار زيادي شود. در حوزه نرم­ افزار، آزمون به طور عمده به آزمون پويا اشاره دارد. اين خود شامل طراحي و ايجاد موارد آزمون مناسب براي نرم‌افزار، اجراي نرم‌افزار با موارد آزمون و مشاهده نتايج مي‌باشد. پس از مرحله آزمون، هدف مشاهده نتايج اجراي برنامه و مكان‌يابي خطا مي‌باشد. در اين راستا در اين تحقيق ابتدا يك روش مبتني بر روش يادگيري ماشين براي تشخيص مسيرهاي مستعد خطا ارائه شده است و در مرحله‌ي بعدي ورودي تشكيل دهنده براي دامنه مسير مستعد خطا استخراج مي‌شود. دليل استفاده از پوشش دامنه به علت بالا بودن احتمالات متفاوت در ورودي‌هاي يك برنامه مي‌باشد كه براي يك مسير ممكن است فقط دامنه‌ي خاصي از آن‌ها، مسير را اجرا كند. براي مكان‌يابي بهتر خطا در مسير مستعد خطا، از اين دامنه ورودي‌هاي اجرا كننده مسير استفاده خواهد شد. مسئله يافتن دامنه براي يك مسير در زمان خطي قابل انجام نمي­باشد بنابراين با استفاده از روش زنجيره ماركوف مونت كارلو كه يك روش ابتكاري مي‌باشد دامنه استخراج خواهد شد. پس از يافته شدن دامنه مسير مستعد خطا، با روش پوشش تصميمات شرط‌هاي تغيير يافته، شاخه خطادار مشخص خواهد شد. قدم بعدي يافتن جمله خطادار مي‌باشد كه با استفاده از روشهاي مبتني بر جهش اين كار انجام خواهد گرفت. نتايج نشان مي‌دهد روش استخراج دامنه پيشنهادي درپارامترهايي مانند دقت استخراج دامنه نسبت به روش‌هاي پوشش مسيسر مرسوم 14 درصد بهبود يافته است و پوشش نقاط مرزي نزديك به 80 درصد بدست آمده است. همچنين روش مكان‌يابي خطا ارائه شده به كاهش 55 درصدي تعداد جهش‌ها منجر خواهد شد و دقت مكان‌يابي در موارد آزمايش شده 83.29 درصد بدست آمده است.

211027

دانشگاه علم و صنعت ايران

-

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

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