وحید رافع
دانشگاه اراک - دانشکده فنی مهندسی
[ 1 ] - ساخت آرایه پوشش با استفاده از الگوریتم بهینه‌سازی مبتنی برآموزش و یادگیری
در سیستم‌های نرم‌افزاری اغلب خطاهای غیرمنتظره زمانی رخ می‌دهد که هم‌زمان تعدادی از اجزاء سیستم باهم در تعامل باشند. آزمون ترکیباتی روشی است که هدف آن تولید دنباله آزمون کمینه است تا خطاهایی که توسط این اجزاء و تعامل آن‌ها به وجود می‌آید را مشخص کند. تولید آرایه پوشش یک مسئله بهینه‌سازی است که یکی از پرطرفدارترین حوزه‌های پژوهش در زمینه آزمون‌های ترکیباتی است. الگوریتم‌های فرامکاشفه‌ای در تولید ...
[ 2 ] - ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستم‌های تبدیل گراف با استفاده از الگوریتم‌های پرندگان و جستجوی گرانشی
چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب بهمنظور درستی‌یابی سیستم‌های نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستم‌های تبدیل گراف، از پرکاربردترین سیستم‌های مدلسازی رسمی و راهکاری مناسب بهمنظور مدلسازی و وارسی سیستم‌های پیچیده هستند. اما این سیستم‌ها در فرآی...
[ 3 ] - Using the Particle Swarm Optimization Algorithm to Generate the Minimum Test Suite in Covering Array with Uniform Strength
Up to now, several useful algorithms have been proposed to generate covering array, which is one of the branches of combinatorial testing. The main challenge in generating such arrays is generation of the arrays with a minimum number of test cases (for efficiency) at a proper time (for performance), for large systems. Covering array generation strategies are often divided into two general categ...
[ 4 ] - Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
Co-Authors