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

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

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

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

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

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

BANDARGAZCOM01_006

تاریخ نمایه سازی: 29 مهر 1391

چکیده مقاله:

آزمون نرم افزار گران است و نیروی انسانی زیادی نیاز دارد طوریکه بیش از 50 درصد هزینه های توسعه نرم افزار را به خود اختصاص میدهد وب رای کاربردهای بحرانی امن حتی این درصد بیشتر است یک یاز اهداف آزمون نرم افزار خودکارسازی تا حد ممکن برای کاهش عمده هزینه آن و کمینه کردن خطای بشر است ابتدا تولید داده های آزمون بهصورت ایستا معرفی شد سپس با تولیدداده های آزمون به صورت پویا کیفیت آزمونها بهبود یافت پس ازطرح این دو روش کلی برای تولید داده های آزمون روشهای دیگری مطرح شده اند که با ترکیب تولید داده های آزمون ایستا و پویا سعی دارند از مزایای هردو بهره مند شوند آزمون کینکالیک از مقادیر واقعی و مقادیر نمادین برای ورودی ها استفاده می کند و برنامه را هم بصورت نمادین و هم بصورت واقعی اجرا می کند که این عمل اجرای کینکالیک نامیده می شود از آنجایی که تعداد ورودیهای بالقوه برای بیشتر برنامه ها خیلی زیاد و حتی نامحدود است نمی توان نرم افزار را با تمام ورودیها مورد آزمون قرار داد بنابراین راهکارجدیدی به نام پوشش کد برای ازمون نرم افزار ارایه شده است که از معیارهای پوشش برای انتخاب ورودیهای آزمون مناسب استفاده می کند.

نویسندگان

محمود لک

دانشجوی کارشناسی ارشد دانشگاه آزاد اسلامی واحد شبستر

سعید پارسا

دانشیار دانشگاه علم و صنعت ایران تهران

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • function summaries hybrid *estingع concolic ...
  • _ shnamoorthy, S., Strategies for Scalable Symbolic Exe cution-based Test ...
  • Edvardsson, J. Techniques for Automatic Generation of Tests from Programs ...
  • Sen, K., Marinov, D., and Agha, G., CUTE: A Concolic ...
  • international symposium on Foundations of software engineering, (New York, NY, ...
  • Godefroid, P., Compositional Dynamic Test Generation, in POPL '0? Proceedings ...
  • Majumdar, R.. Sen, _ Hybrid Concolic Testing, in Proceedings of ...
  • Baluda, M., Braione, P., Denaro, _ Pezze, M., Structural coverage ...
  • Anand, S., Godefroid, P., and Tillman, N.. Demand- Driven Compositional ...
  • Williams, N., Marre, B., and Mouy, P, On-the-Fly Generation of ...
  • Sen, k., Concolic Testing, ASE'07, Atlanta, Georgia, USA, November 4-9, ...
  • Ponczak, J., and Miller, J., Find Software Bugs, Defects using ...
  • Zhang, J., and Wang, X., A Constraint Solver and Is ...
  • concrete memory input graphs ...
  • نمایش کامل مراجع