جلسه دفاع پایان نامه: سیده فاطمه موسی‌زاده موسوی، گروه معماری سیستم های کامپیوتری
عنوان پایان‌نامه: اجرای نمادین چندهدفه‌ی ترکیبی
ارائه کننده: سیده فاطمه موسی زاده موسوی استاد راهنما: دکتر مهدی آبادی استاد مشاور اول: دکتر محمدامین علیپوراستاد ناظر داخلی اول: دکتر حسین همائی استاد ناظر خارجی اول: دکتر حمیدرضا شهریاری (دانشگاه صنعتی امیرکبیر) تاریخ: ۱۴۰۳/۰۳/۳۰ ساعت: ۸:۳۰ مکان: دانشکده مهندسی برق و کامپیوتر، کلاس 08/6
چکیده: به علت افزایش روزافزون سامانه های نرم افزاری، تعداد آسیب پذیری ها رشد چشم گیری داشته است. در میان روش های مختلف آزمون نرم افزار، دو روش آزمون فاز، به علت مقیاس پذیری بالا، و اجرای نمادین، به علت توانایی بالا در تحلیل رفتار سیستم، مورد توجه قرار گرفته اند. آزمون فاز، فرآیندی با سرعت بالاست که اگرچه در کاوش تعداد زیادی مسیر موفق نیست ولی در کاوش حالات عمیق برنامه توانا است. اجرای نمادین، هرچند توانایی کاوش در حالات عمیق برنامه را ندارد، اما توانایی فوق العاده ای در کاوش مسیرهای منحصربه فرد دارد. به علت شباهت اهداف در هر دو آزمون فاز و اجرای نمادین، می توان امید داشت که ترکیب آن ها آزمونی موثر برای کشف آسیب پذیری باشد. در آزمون فاز ترکیبی، کاوش برنامه ی هدف ابتدا توسط آزمون فاز انجام می گیرد و اجرای نمادین برای بررسی مسیرهایی که توسط آزمون فاز کاوش نشده اند، فراخوانی می شود. اصلی ترین مشکل این روش ها عدم شناسایی زمان دقیق برای تغییر روش آزمون و همچنین، وابستگی به توانایی کاوش مسیر اجرای نمادین و کارایی عمل جهش در آزمون فاز است. در این طرح، روشی متفاوت از ترکیب دو روش آزمون فاز و اجرای نمادین پیشنهاد شده است. چهارچوب پیشنهادی شامل سه مؤلفه ی اجرای نمادین چندهدفه، همگام ساز و فازر است. در اجرای نمادین چندهدفه، ابتدا نقاط هدف برنامه مشخص شده و فواصل سایر گره ها تا نقاط هدف محاسبه می گردد. سپس تلاش می شود اجرای نمادین را به سمت نقاط هدف هدایت کرده و برای جلوگیری از مشکل انفجار مسیر، برخی یال ها را هرس نمود. در انتها موارد آزمون تولیدی را به همگام ساز ارسال می کند. در همگام ساز بر حسب یال های پیمایش شده توسط اجراکننده ی نمادین چندهدفه و فازر، اطلاعات اصلاحی گراف جریان کنترل به اجراکننده ی نمادین چندهدفه و موارد آزمون به فازر انتقال می یابد. موردهای آزمون ارسال شده توسط همگام ساز به صف فازر منتقل می گردد که این امر در پوشش مسیرهای پیچیده به فازر کمک می کند. علاوه بر این، موردهای آزمون فازر به همگام ساز ارسال می شود. این امر منجر به اصلاح گراف جریان کنترل برنامه و در نهایت بهبود عملکرد اجراکننده ی نمادین چندهدفه می شود. جهت ارزیابی چهارچوب پیشنهادی، از مجموعه آزمون CGC استفاده شده است. در آزمایش های انجام شده با مقایسه ی عملکرد روش پیشنهادی با یکی از پرکاربردترین آزمون های فاز ترکیبی مشخص شده است که روش پیشنهادی توانسته است تعداد بیشتری خرابی را کشف کرده و مسیرهای بیشتری را پیمایش نماید.
