اتوماتیک سازی پوشش آرایه با استفاده از وارسی مدل و الگوریتم توده ذرات بهینه
- سال انتشار: 1398
- محل انتشار: ششمین کنفرانس ملی پژوهش های کاربردی در مهندسی کامپیوتر و فناوری اطلاعات
- کد COI اختصاصی: CEPS06_022
- زبان مقاله: فارسی
- تعداد مشاهده: 463
نویسندگان
دانشجوی دکترا، دانشکده فنی مهندسی، گروه مهندسی کامپیوتر، دانشگاه اراک، اراک، ایران
دانشیار، دانشکده فنی مهندسی، گروه مهندسی کامپیوتر، دانشگاه اراک، اراک، ایران
چکیده
آزمون ترکیبی یکی از آزمونهای رایج برای تولید دنباله آزمون کمینه برای کشف خطاهای ناشی از تعاملات بین زیرسیستمها است. یکی از کاربردیترین روشهای آزمون ترکیبی، آرایه پوشش است. تاکنون استراتژیهای زیادی برای تولید آرایه پوشش ارائه شده و توانسته اند بهینه سازی را به حد قابل قبولی برسانند؛ اما چالش مهمی که میتواند آرایه پوشش را برای آزمون سیستمهای مدرن کمک کند، استخراج اطلاعات مربوط به پارامترها، شناسایی محدودیتها و تشخیص تعاملات بین زیرسیستم های است؛ که به نظر میرسد تنها راه نجات آرایه پوشش از این بحران، وارسی مدل است. وارسی مدل روشی است که تمام حالتهای ممکن سیستم را برای شناسایی خطاها پویش میکند. در این مقاله با کمک گرفتن از وارسی مدل کلیه اطلاعات مربوط به سیستم را از روی مدل استخراج و سپس با استفاده از الگوریتم های ژنتیک اقدام به تولید آرایه پوشش می کنیم و درنهایت با بهرهگیری از روشی جدید دنباله آزمون، مینیمایز میشود. برای ارزیابی نتایج، راهکار پیشنهادی را به همراه تعداد دیگری از الگوریتم های فرامکاشفه ای بر روی ابزار GROOVE که یکی از رایج ترین ابزارهای وارسی مدل است پیاده سازی کرده ایم که نتایج نشان میدهد راهکار پیشنهادی نتایج بهتری نسب به سایرین دارد همچنین راهکار پیشنهادی را خارج از محیط GROOVE پیاده سازی و با بهترین استراتژی های موجود مقایسه کرده ایم که نتایج نشان میدهد راهکار پیشنهادی ازنظر بهینه بودن هم نتایج مطلوبی را دارد.کلیدواژه ها
آرایه پوشش، وارسی مدل، الگوریتم توده ذرات بهینه، .GROOVEمقالات مرتبط جدید
- بررسی اجمالی اینترنت اشیاء و مشکلات امنیتی آن
- نقش فرماندهی و کنترل و سامانه های آن در نبرد های آینده
- نقش فناوری های بدون سرنشین در عملیات جنگ نوین
- نقش زیرساخت های نظامی سایبری در کنترل میدان جنگ (اقدامات الکترومغناطیسی سایبری)
- طراحی و شبیه سازی دروازه منطقی تمام نوری AND مبتنی بر بلور فوتونی با ابعاد کم و مناسب برای مدارهای مجتمع نوری
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.