نام پژوهشگر: سید اسماعیل میرزاییان
سید اسماعیل میرزاییان همایون موتمنی
تست نرم افزار فعالیتی دشوار جهت تضمین کیفیت و اعتبار سیستم های نرم افزاری است. اغلب گفته می شود که هزینه رفع یک خطا بعد از انتشار محصول نرم افزاری، چهار برابر هزینه رفع خطا در مرحله تست و پنجاه برابر هزینه همان خطا در مرحله طراحی می باشد. اگر چه رویکرد شیءگرا یکی از رویکردهای موثر توسعه ی نرم افزار بوده که امکان کاهش مشکلات متداول رویکرد ساخت یافته را فراهم آورد اما ویژگی های رویکرد شیءگرا نظیر ارثبری و چندریختی تحلیل رفتاری و تست را به میزان قابل توجهی پیچیده نمود چرا که حالت اشیا می تواند سبب بروز خطاهایی شود که با تکنیک های سنتی تست به آسانی آشکار نمی شوند. در تست شیءگرا، کلاس به عنوان واحد تست در نظر گرفته می شود و یکی از مهمترین مباحث در حوزه تست کلاس، تولید موارد تست است. در این تحقیق تکنیکی نوین جهت شبیه سازی رفتار و تولید موارد تست نرم افزار شیءگرا با استفاده از شبکه های پتری رنگی ارائه شده است. شبکه های پتری رنگی یکی از انواع شبکه های سطح بالا و توسعه یافته ای است که در مدلسازی و شبیه سازی انواع سیستم ها بکار می رود. روش پیشنهادی ما مشکل انفجار شبکه را که یکی از متداول ترین معایب روش های شبیه سازی مبتنی بر شبکه های پتری می باشد در نظر گرفته است. علاوه بر آن به جای استفاده از توکن های نمادین و سطح پایین، در ساختار شبکه نهایی این روش قوانینی جهت تولید نوع ویژه ای از توکن، به نام توکن شی ارائه شده است که امکان معرفی الگوریتمی جدید جهت تبدیل نمودار حالت uml به شبکه پتری رنگی را فراهم آورد. نتیجه ی این تحقیق منجر به تولید شبکه ای میشود که در مقایسه با تکنیک های موجود بسیار فشره بوده و علاوه بر آن قادر به پوشش تمامی اشیای مربوط به کلاس های مختلف یک سلسله مراتب ارثبری در یک شبکه واحد می باشد. الگوریتم ارائه شده در این تحقیق، زمینه ی ایجاد ابزارهای خودکار شبیه سازی و تولید موارد تست را نیز فراهم می آورد. جهت ارزیابی روش پیشنهادی این تحقیق، مراحل انجام آن روی یک مورد مطالعاتی یکسان با دیگر روش های موجود ارائه می شود و با پیاده سازی شبکه حاصل، در ابزار cpn-tools به استخراج ویژگی های این روش و قیاس آن با روش های موجود به لحاظ ابعاد شبکه، پیچیدگی آن و میزان پشتیبانی از ویژگی های شیءگرا پرداخته می شود.