-
شماره ركورد
9969
-
شماره راهنما(اين فيلد مربوط به كارشناس مي‌باشد لطفا آن را خالي بگذاريد)
9969
-
پديد آورنده
سامان تيموري
-
عنوان
تحليل ساختاري برنامه در جهت افزايش مسيرهاي پوشش داده شده با استفاده از روش‌هاي داده-محور
-
مقطع تحصيلي
درجه كارشناسي ارشد
-
رشته تحصيلي
مهندسي كامپيوتر گرايش نرم‌افزار
-
سال تحصيل
اسفندماه 1390
-
تاريخ دفاع
اسفندماه 1390
-
استاد راهنما
دكتر سعيد پارسا
-
چكيده
چكيده
در اين پايان‌نامه، راه‌كاري جهت تخمين تعداد مسيرهاي ايستا و توليد موارد آزمون با هدف افزايش پوشش مسيرهاي اجرايي برنامه‌هاي نرم‌افزاري جهت آزمون نرم‌افزار، ارائه شده است. ابزار ارائه شده در اين راه‌كار پيشنهادي، قابليت تحليل ايستا و پوياي برنامه‌هاي به زبان C را دارا مي‌باشد. راه‌كار پيشنهادي، با دريافت كد برنامه و كاوش كد اسمبلي آن، بلاكهاي اوليه برنامه را شناسايي كرده و براساس آنها گراف جريان كنترلي برنامه را مي‌سازد. براي استخراج مسيرهاي گراف جريان كنترلي پيش پردازش شده، از يك ساختار ذخيره‌سازي درختي و الگوريتم تغييريافته جستجوي عمقي استفاده مي‌شود. استفاده از اين ساختار درختي موجب مقياس‌پذيري بالاي راه‌كار پيشنهادي مي‌شود.
روش ارائه شده، معيار پوشش مسيرها را به عنوان كامل‌ترين معيار پوشش، در اختيار آزمون كننده قرار مي‌دهد. ساير معيارهاي اندازه‌گيري پوشش كد برنامه نظير پوشش جملات، انشعابات، بلاكهاي اوليه، توابع و كلاسها، براي آزمون‌كننده نرم‌افزار اين امكان را فراهم نمي‌كنند كه از صحت عملكرد نرم‌افزار اطمينان حاصل نمايد. به عبارت ديگر، تا زماني كه آزمون‌كننده نرم‌افزار، اطلاع كافي از كليه مسيرهاي برنامه نداشته باشد، قادر نخواهد بود تمامي خطاهاي موجود در برنامه را شناسايي و رفع نمايد. اما راه‌كار پيشنهادي با استخراج مسيرهاي ايستا در برنامه و اعلام آنها، اين توانايي را براي آزمون‌كننده نرم‌افزار ايجاد مي‌كند.
از جمله قابليتهاي راه‌كار پيشنهادي، تحليل پوياي برنامه در كنار تحليل ايستا است. اين كار با مستندگذاري خودكار برنامه در سطح كد اسمبلي صورت مي‌گيرد و مسيرهاي مختلف برنامه براساس روش پيشنهادي توليد موارد آزمون پيمايش مي‌شوند. در راه‌كار پيشنهادي براي توليد موارد آزمون، از شبكه بيزين با هدف مدل‌سازي وابستگي‌هاي احتمالي شرطي ميان بلاكهاي اوليه برنامه از يك طرف و همچنين وابستگي احتمالي گذرهاي ميان بلاكهاي اوليه و پارامترهاي ورودي برنامه استفاده شده است. با تحليل شبكه بيزين ايجاد شده، ورودي‌هاي مسبب پيمايش مسيرهاي مختلف برنامه شناسايي شده و به اين ترتيب با توليد مسيرهاي اجرايي مختلف، قابليت اطمينان برنامه افزايش مي‌يابد. مجموعه آزمايشات انجام شده بر روي تعدادي برنامه استاندارد، دقت و كارآمدي راه‌كار پيشنهادي را آشكار مي‌سازد.
واژه‌هاي كليدي: آزمون نرم‌افزار، شبكه بيزين، تحليل ايستا و پويا، پوشش مسيرها
-
لينک به اين مدرک :
