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

Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 537

This Paper With 11 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

CSCCIT02_012

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

Abstract:

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

Keywords:

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

Authors

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

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

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

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

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

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

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

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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 ...
  • نمایش کامل مراجع