ایجادمواردآزمون درمحدودیت های ورودی تست برای رسیدن به مناطق دورازدسترس برنامه برمبنای مشخصات نرم افزار

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

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

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

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

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

BPJ01_502

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

چکیده مقاله:

تست نرم افزاریکی ازمهمترین مراحل چرخه توسعهسیستم است تست نرم افزاربه شناسایی اینکه ایانرم افزاردرحال توسعه اهداف و نیازهارا براورده می کند یاخیر کمک می کند نیازمندی های نقش مهمی رادرکیفیت نرم افزار دارند تایید شدن و معتبربودن سیستم های نرم افزاری اغلب تا 65درصد ازمنابع توسعه را مصرف میکند اتوماتیک کردن این کارزمان و هزینه قابل توجهی را ذخیره می کند نامیدن این تست به عنوان تست مشخصات بدین علت است که مشخصات رسمی میتواند به عنوان موردی برای منبع تست های کاربردی درمحصول نهایی استفاده شود مرکزی این روش ازمدل چکرز به مانند ماشین های تولید موردازمون استفاده می کند مدل چکینیگ یک تکنیک برای کاوش فضای حالت قابل دسترسی ازیکمدل سیستم به منظور بررسی خواص مورد علاقه ایت و قصدداریم درنهایت محدودیتهای حاکم براین محدوده را که موجب عدم دسترسی به قسمت هایی ازمشخصات برنامه است راهم درتست جعبه سفید و هم درتست جعبه سیاه بررسی کنیم و روشی برای رسیدن به کدهای غیرقابل دسترس و یاکدهایی که وجود ندارد اما می بایست باشند ارایه کنیم

نویسندگان

محمدرضا خندان علمداری

دانشجوی کارشناسی ارشدمهندسی فناوری اطلاعات

مریم رضوانی گیل کلائی

دانشجوی کارشناسی ارشدمهندسی فناوری اطلاعات

محبوبه شمسی

عضو هیئت علمی دانشگاه صنعتی قم

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Checking and Software Verification, volume 1885 of veri _ ag.im ...
  • Framework for Automated Testing _ Java Programs, " 16th IEEE ...
  • Veanes, "Generating Finite State Machines from Abstract State Machines, " ...
  • to Generate Tests from Requirements S pccifications, " In Proceedings ...
  • Symposium on High Assurance Systems and Engincering, 1999. ...
  • Generating Test Sequences using -Autoء، and J. Gao, Model Checkers: ...
  • _ Temporal Logic Based Theory of Test Coverage and Generation, ...
  • C. P. S. Khurshid , andW. Visser, «Generalized Symbolic Execution ...
  • A. G. a. W. Visser, ،Model Checking Java In ...
  • Proceedings of the 2002 International Symposium on Software Testing and ...
  • نمایش کامل مراجع