وارسی ویژگی دسترس پذیری در سیستم های نرم افزاری پیچیده و همروند با رویکرد کشف دانش
- سال انتشار: 1402
- محل انتشار: مجله رایانش نرم و فناوری اطلاعات، دوره: 12، شماره: 1
- کد COI اختصاصی: JR_JSCIT-12-1_005
- زبان مقاله: فارسی
- تعداد مشاهده: 98
نویسندگان
دانشکده مهندسی کامپیوتر، واحد لامرد، دانشگاه آزاد اسلامی، لامرد، ایران.
دانشکده فنی و مهندسی، واحد یاسوج، دانشگاه آزاد اسلامی، یاسوج، ایران.
دانشکده فنی و مهندسی، گروه مهندسی کامپیوتر، دانشگاه اراک، اراک، ایران.
دانشکده مهندسی کامپیوتر، واحد نورآباد ممسنی، دانشگاه آزاد اسلامی، نورآباد ممسنی، ایران.
گروه مهندسی برق، واحد یاسوج، دانشگاه آزاد اسلامی، یاسوج، ایران.
چکیده
تکنیک وارسی مدل، روشی رسمی و موثر جهت تایید سیستم های نرم افزاری است که با تولید و بررسی همه حالتهای ممکن مدلی از سیستم نرم افزار به تحلیل آن میپردازد. چالش اساسی وارسی مدل در سیستم های پیچیده و بزرگ که دارای فضای حالت گسترده و یا نامحدود می باشند، مشکل انفجار فضای حالت (کمبود حافظه در تولید همه حالت های ممکن) است. الگوریتم جنگل تصادفی که قادر به کشف دانش است با انتخاب تعداد محدودی مسیر امیدبخش به مقابله با این مشکل میپردازد. درروش پیشنهادی، ابتدا مدل کوچکی از سیستم با استفاده از زبان رسمی سیستم توصیف گراف (GTS) ایجاد و از فضای حالت مدل کوچک، مجموعه ای آموزشی ایجاد می شود. مجموعه آموزشی تولیدشده در اختیار الگوریتم جنگل تصادفی قرار داده می شود تا روابط منطقی موجود در آن شناسایی و کشف شوند. سپس از دانش به دست آمده جهت پیمایش هوشمند و غیر کامل فضای حالت مدل بزرگ استفاده می شود. رویکرد پیشنهادی در ابزار GROOVE که از ابزار متن باز برای طراحی و بررسی مدل سیستم های تبدیل گراف است، اجراشده است. نتایج نشان می دهند که روش پیشنهادی علاوه بر افزایش هوشمندی فرایند وارسی مدل، نیاز به تنظیم پارامترهای اولیه کمتری دارد. رویکرد پیشنهادی بر روی چند مسئله شناخته شده اجرا شده است. نتایج آزمایش های تجربی نشان میدهند روش پیشنهادی در مقایسه با روش های قبلی متوسط زمان اجرا، تعداد حالتهای پیمایش شده و دقت عملکرد بهتری دارد.کلیدواژه ها
تایید سیستم های نرم افزاری, کشف دانش, انفجار فضای حالت, وارسی مدلاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.