کی از مراحلِ مهم تولید نرمافزار، بررسیی ررسی ی و کیفیت محصیو است تخیی و بررر سازی خطاها رر مراحل تحلیل و رراحی، کاهش چخییریری را رر هزینههای رفع خطاهای نرمافزار سی م میشیور بدین منظور، مجیوعهای از روشهای رسیی وجور رارند که ررس ی سیس م را با اس فاره از تحلیلهای رقیق ریاضی ارزیابی میکنند وارسییی مد ، به عنوان یک روش رسیییی و خورکار بر م نای تئوری رقیق ریاضییی، جهت ررسی ییابی سیس مهای نرمافزاری، ق ل از پیارهسازی مورراس فاره قرار میگیرر اس فاره از وارسی مد نیازمند توصیی سییسی م بوسیلهی یک زبان رسیی است یکی از پرکاربررترین سیس مهای مد سازی رسیی، که برای توصیی و وارسیی مد ها رر سییسی مهای پیچیده مورر اسی فاره قرار میگیرر، سییسی م ت دیل گرا اسیت تکنیکهای وارسیی مد ، علیرغم رارا بورن مزایای فراوان، رر سییسی مهای بزرگ و پیچیده با مخیکل انفجار فضییای حالت مواجه هسیی ند رر سییا های اخیر، راهکارهایی بر پایهی الروری م های تکاملی و فرااک خییافی هیچون الروری م ژن یک، بهینهسازی ازرحام ذرات، بهینهسازی کلونی مورچران و برای رفع این مخکل ارائه شییدهاند رر این پژوهش نیز، راهکارهایی ترکی ی با اسیی فاره از الروری مهای تکاملی و روشهای فازی، برای مقابله با مخکل انفجار فضای حالت رر وارسی سیس مهای مد شده توسط ت دیل گرا با فضای حالت بسیار بزرگ پیخینهار شیده است اکثر روشهای فرااک خافی ارائهشده برای وارسی مد رر سیس مهای ت دیل گرا ، بر یاف ن بنبسیییت جهت رر ویژگی ایینی م یرکز هسییی ند رر این پژوهش روشهای پیخییینهاری، بر پایهی الروری مهیای ژن ییک فازی و بهینهسیییازی ازرحام ذرات فازی، و بهمنظور رر ویژگی ایینی از رریق کخییی بنبسیت و تییید ویژگی رس رسپذیری رراحی شده است رر این راهکار فضای حالت سیس م توسط این رو الروری م فیازی و برای ییاف ن حیال ی کیه ویژگی میذکور را تییید یا رر میکند، مورر جسییی جو قرار میگیرر پیارهسازی و ارزیابی روشهای ارائه شده رر یکی از ابزارهای مد سازی ت دیل گرا با نام GROOVE ،انجام شیده اسیت ن این نخان میرهد که راهکارهای پیخنهاری رر مقایسه با روشهای پیخین از سرعت و عیلکرر قابل ق ولی برخوررار است
