ارائه یک راهکار بهینه برای تست خودکار نیازمندی های عملکردی نرم افزار با استفاده از الگوریتم بهینه سازی توده ذرات

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,764

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

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

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

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

ICIKT07_187

تاریخ نمایه سازی: 22 مهر 1394

چکیده مقاله:

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

نویسندگان

وحید رافع

استادیار، دانشگاه اراک، دانشکده فنی و مهندسی، گروه مهندسی کامپیوتر، اراک

اکرم کلائی

دانشجوی کارشناسی ارشد، دانشگاه اراک، دانشکده فنی و مهندسی، گروه مهندسی کامپیوتر، اراک

سجاد اسفندیاری

دانشجوی کارشناسی ارشد، دانشگاه اراک، دانشکده فنی و مهندسی، گروه مهندسی کامپیوتر، اراک

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • آینده قصد داریم با انجام آزمایشات بیشتر، کارایی روش خود ...
  • based automated test-data generation framework for safety critical systems", in ...
  • intuitive approach to determine test adequacy in safety-critical software", ACM ...
  • testing", Information and Software Technology, Vol. 58, pp. 419-432, February ...
  • _ _ _ covering array construction", Applied Soft Computing, Vol. ...
  • _ _ to Binary Decision Diagrams", Lecture notes for Efficient ...
  • G.A Giraldi, "Boolean Expressions, Normal Forms and BDDs, LNC C-National ...
  • _ _ _ 2, pp. 241-245, 2009. ...
  • A. Paradkar, K.C. Tai and M.A Vouk, _ Specification-B ased ...
  • Testing Using Cause-Effect Graph", Annals of Software Engineering, Vol. 4, ...
  • نمایش کامل مراجع