راهکاری جدید جهت اشکال زدایی نرم افزار با استفاده ازکشف غیرمتغیرهای برنامه
Publish place: The first national conference on computers, information technology and Islamic communications in Iran
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,046
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICCONF01_144
تاریخ نمایه سازی: 14 آذر 1394
Abstract:
آزمون نرمافزار یا تست نرم افزار عبارت است از اجرای نرمافزار برای بررسی اینکه آیا اهداف مورد نظر برآورده شده است یا خیر. یکی از دلایل برآورده نشدن اهداف موردنظر در نرمافزار وجود خطاهای موجوى در برنامهها است. خطا در نرم افزار در حقیقت وجود یکعمل نادرست در کد برنامه است که سبب میشود برنامه در همه ی مواقع در تحقق هدف خود موفق نباشد. مهمترین خطاهای برنامه، خطاهای معنایی، باعث میشود که نتایج تولید شده از اجرای برنامه با نتایج مورد انتظار مغایرت داشته باشد کشف این دسته از خطاهای برنامه دشوار است. غیرمتغیرها خصوصیات مهم برنامه هستند که در تمامی اجراهای برنامه ثابت و بدون تغییر باقی می ماند،این مقاله به معرفی غیرمتغیرها ی برنامه که اخیرا وارد مقوله مهندسی نرم افزار شده، پرداختکه و یک چارچوب کلی برای کشف خطاهای معنایی نرم افزار با استفاده از مفهوم غیرمتغیرها ارایه میکند
Keywords:
Authors
وحید پرندین
کارشناسی ارشد مهندسی کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :