8141

8141

ارائه راه كاري جديد براي جستجوي پوياي غيرمتغيرهاي برنامه ژژ

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

كامپيوتر

1389

1389

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

چكيده غيرمتغيرها نقش بسزايي در علم مهندسي نرم افزار و مخصوصا در آزمون عملكرد ١ نرم افزارها دارند. آزمون عملكرد نرم افزار ها يكي از مهم ترين فازهاي توليد نرم افزار است و در صورتي كه نرم افزار داراي خطا، به عنوان نسخه نهائي تحويل كاربر شود، هزينه بسيار زيادي به لحاظ مالي و اعتباري به شركت توليد كننده آن تحميل مي شود. به همين منظور روش هاي بسياري براي كشف و استخراج آنها پيشنهاد شده است كه در دو دسته كلي روش هاي ايستا و پويا طبقه بندي مي شوند. هر يك از اين روش ها نقاط قوت و ضعف مخصوص به خود را دارند. دايكون مشهورترين و قوي ترين نرم افزاري است كه عمل استخراج غيرمتغيرها را انجام مي دهد. دايكون يك نرم افزار كدباز است و از روش پويا استفاده مي كند. اين نرم افزار براي كشف غيرمتغيرها، برنامه را چندين بار با مقادير متفاوت به ازاي متغيرهاي ورودي اجرا مي كند و مقادير متغيرها را در انتهاي برنامه استخراج كرده و روابط ميان آنها را استخراج مي كند و براي افزايش درجه اطمينان غيرمتغيرها، اين عمل را چندين بار تكرار مي كند. با اين حال اين رويكرد هم داراي نقاط ضعفي است كه از جمله مهم ترين ضعف هاي آن، زمان اجراي بالاي آن است. به همين منظور تا به حال تلاش هاي بسياري به منظور افزايش كارايي آن ارائه شده است و مقالات بسياري در اين زمينه منتشر شده است. در اين پايان نامه تلاش مي شود تا با ارائه راه كارهاي مناسبي زمان اجراي دايكون كاهش داده شده و دقت آن افزايش يابد. ايده اصلي براي اين كار اين است كه متغيرهايي را كه مقدارشان تغيير نكرده است چك نشوند و بدين ترتيب زمان اجرا كاهش داده شود. همچنين در اين پايان نامه تلاش مي شود تا با ارائه يك چارچوب مناسب، خطاهاي منطقي برنامه كشف شوند. بر اساس نتايج حاصلهكه در فصل پنجم آورده شده اند، با استفاده از نوآوري هاي ارائه شده در اين پايان نامه زمان اجراي كشف غيرمتغيرها به طرز مطلوبي كم شده است و همچنين با استفاده از غيرمتغيرها و ايده بيان شده در اين پايان نامه خطاهاي منطقي برنامه با دقت بسيار مناسبي پيش گوئي شده است. واژه هاي كليدي: غيرمتغير، دستورالعمل، آزمون نرم افزار، رويكرد پويا، رويكرد ايستا