به کارگیری الگوریتم جستجوی عمقی تکرارشونده برای تشخیص خطاهای سیستم های نرم افزاری

سال انتشار: 1399
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 598

فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

DCBDP06_018

تاریخ نمایه سازی: 25 اسفند 1399

چکیده مقاله:

تایید درستی سیستم های نرم افزاری، خصوصاً از نوع بحرانی-ایمنی، یکی از مراحل مهم و چالش برانگیز در طراحی چنین سیستم هایی است چرا که وجود یک خطا حتی از نوع خیلی کوچک می تواند صدمات جبران ناپذیری وارد کند. برای کاهش زمان و هزینه تولید چنین سیستم هایی، درستی آنها قبل از پیاده سازی و معمولاً روی مدلی از آن انجام میشود . وارسی مدل یک روش مبتنی بر ریاضیبرای تحلیل خودکار سیستم های نرم افزاری است که با پیمایش تمام حالت های ممکنِ مدل، درستی مدل را در تک تک این حالت ها بررسی می کند. در صورت پیچیده و بزرگ بودن یک مدل، وارسی مدل با مشکل انفجار فضای حالت (کمبود حافظه در تولید همه حالت های ممکن) مواجه می شود. در این مقاله، از الگوریتم جستجوی عمقی تکرارشونده A* ) IDA* ) استفاده کرده تا این مشکل را تا حدودی حل کنیم. روند این الگوریتم به این صورت است که ابتدا یک جستجوی او ل- عمق ( DFS) تا عمق یک انجام داده سپس مسیرهایی که هزینه آنها از یک مقدار آستانه بیشتر است را کنار گذاشته و جستجوی اول -عمق دیگری تا عمق دو انجام می دهد و این مراحل را تا موقعی ادامه می دهد که به حالت هدف برسد. برای ارزیابی کارایی الگوریتم IDA* ، آن را در ابزار GROOVE – از ابزارهای وارسی مدل مبتنی بر زبان تبدیل گراف - پیاده سازی کرده و نتایج آن را با نتایج الگوریتم A* مقایسه می کنیم

کلیدواژه ها:

جستجوی عمقی تکرار شونده ، سیستم های نرم افزاری بحرانی-ایمنی ، وارسی مدل ، تبدیل گراف

نویسندگان

عین الله پیرا

استادیار، دانشکده فناوری اطلاعات و مهندسی کامپیوتر، دانشگاه شهید مدنی آذربایجان