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

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

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

189670

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

نرم افزار

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