بررسی شیوههای آزمون نرمافزار از سال 2000تا 2014

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

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

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

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

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

CSCCIT02_012

تاریخ نمایه سازی: 9 فروردین 1395

چکیده مقاله:

در این مقاله شیوههای آزمون نرمافزار با ذکر دو نکته اساسی بررسی میگردند: بیشترین سهم آزمون نرمافزار از سال 0222 تاکنون و بزرگترین چالشهای کنونی و فرصتها برای پژوهشهای آینده. بهاینترتیب 4 بخش پژوهش با نامهای تولید ورودی آزمونخودکار، استراتژیهای آزمون، آزمون رگرسیون و پشتیبانی از مطالعات تجربی دستهبندی میشوند. فناوریهای تولید ورودی آزمون خودکار عبارتاند از: اجرای نمادین که برنامه را بجای ورودی پیوسته، با استفاده از نماد اجرا میکند، آزمون بر پایه جستجو برای ورودیهای پیوسته مناسب است. آزمون تصادفی تطبیقی که با انتخاب ورودی کاندید با بیشترین فاصله از ورودیهای قبلی، باعثکاهش تعداد ورودی میگردد و روشهای ترکیبی که برای تشخیص صحت ایستا و پویا در آزمون استفاده میگردند. همچنین دومین سهم شامل روشهای ترکیبی است که از ترکیب معیارها و مقادیر، نمونههایی ایجاد کرده و ورودیهایی مطابق نمونهها میسازند. مطالعات تجربی بهعنوان آخرین سهم، برای ارزیابی روشهای آزمون اکتشافی استفاده میشوند. با توجه به پیشرفت روزافزون نرمافزارهایفعلی و تولید نرمافزارهای جدید آزمون و ارزشگذاری کاربردی آنها در صنعت، بدون نتیجه چنین مطالعاتی جامعه پژوهشی قادر به آشکارسازی تأثیر بالقوه آنها بهصورت کاربردی در صنعت نخواهد بود

کلیدواژه ها:

آزمون نرمافزار ، حوزههای مطالعاتی ، استراتژی ، تولید ورودی آزمون خودکار

نویسندگان

زهرا جزینی درچه

موسسه آموزش عالی علامه نائینی نائین - گروه مهندسی کامپیوتر

بهزاد سلیمانی نیسیانی

دانشگاه کاشان - دانشکده برق و کامپیوتر

امیرحسین نظرعلیان

موسسه آموزش عالی تبریز – گروه مهندسی کامپیوتر

شهرزاد دهقانی

موسسه آموزش عالی علامه نایینی– گروه مهندسی کامپیوتر

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • A. Orso and G. Rothermel, "Software testing: a research travelogue ...
  • M. J. Harrold, "Testing: a roadmap, " in Proceedings of ...
  • J. C. King, "Symbolic execution and program testing, " Comm ...
  • P. Godefroid, M. Y. Levin, and D. Molnar, "SAGE: whitebox ...
  • K. Adamopoulos, M. Harman, and R. M. Hierons, "How to ...
  • A. Arcuri and . Yao, "Coevolving programs and unit tests ...
  • T. Y. Chen, T. Tse, and Y.-T. Yu, "Proportional sampling ...
  • C. Csallner and Y Smaragdakis, "JCrasher: an automatic robustness tester ...
  • T. Xie, N. Tillmann, J. de Halleux, and W. Schulte, ...
  • C. Nie and H. Leung, "A survey of combinatorial testing, ...
  • H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled exp ...
  • C. Parnin and A Orso, "Are automated debugging techniques actually ...
  • نمایش کامل مراجع