راهکاری جدید جهت اشکال زدایی نرم افزار با استفاده ازکشف غیرمتغیرهای برنامه

آزمون نرمافزار یا تست نرم افزار عبارت است از اجرای نرمافزار برای بررسی اینکه آیا اهداف مورد نظر برآورده شده است یا خیر. یکی از دلایل برآورده نشدن اهداف موردنظر در نرمافزار وجود خطاهای موجوى در برنامهها است. خطا در نرم افزار در حقیقت وجود یکعمل نادرست در کد برنامه است که سبب میشود برنامه در همه ی مواقع در تحقق هدف خود موفق نباشد. مهمترین خطاهای برنامه، خطاهای معنایی، باعث میشود که نتایج تولید شده از اجرای برنامه با نتایج مورد انتظار مغایرت داشته باشد کشف این دسته از خطاهای برنامه دشوار است. غیرمتغیرها خصوصیات مهم برنامه هستند که در تمامی اجراهای برنامه ثابت و بدون تغییر باقی می ماند،این مقاله به معرفی غیرمتغیرها ی برنامه که اخیرا وارد مقوله مهندسی نرم افزار شده، پرداختکه و یک چارچوب کلی برای کشف خطاهای معنایی نرم افزار با استفاده از مفهوم غیرمتغیرها ارایه میکند

کلیدواژه ها:

غیرمتغیرها ، تست نرم افزار ، خطایابی نرم افزار ، خطای معنایی برنامه