راهکاری جدید جهت اشکال زدایی نرم افزار با استفاده ازکشف غیرمتغیرهای برنامه
- سال انتشار: 1394
- محل انتشار: اولین همایش ملی کامپیوتر،فناوری اطلاعات وارتباطات اسلامی ایران
- کد COI اختصاصی: ICCONF01_144
- زبان مقاله: فارسی
- تعداد مشاهده: 1170
نویسندگان
کارشناسی ارشد مهندسی کامپیوتر
چکیده
آزمون نرمافزار یا تست نرم افزار عبارت است از اجرای نرمافزار برای بررسی اینکه آیا اهداف مورد نظر برآورده شده است یا خیر. یکی از دلایل برآورده نشدن اهداف موردنظر در نرمافزار وجود خطاهای موجوى در برنامهها است. خطا در نرم افزار در حقیقت وجود یکعمل نادرست در کد برنامه است که سبب میشود برنامه در همه ی مواقع در تحقق هدف خود موفق نباشد. مهمترین خطاهای برنامه، خطاهای معنایی، باعث میشود که نتایج تولید شده از اجرای برنامه با نتایج مورد انتظار مغایرت داشته باشد کشف این دسته از خطاهای برنامه دشوار است. غیرمتغیرها خصوصیات مهم برنامه هستند که در تمامی اجراهای برنامه ثابت و بدون تغییر باقی می ماند،این مقاله به معرفی غیرمتغیرها ی برنامه که اخیرا وارد مقوله مهندسی نرم افزار شده، پرداختکه و یک چارچوب کلی برای کشف خطاهای معنایی نرم افزار با استفاده از مفهوم غیرمتغیرها ارایه میکندکلیدواژه ها
غیرمتغیرها، تست نرم افزار، خطایابی نرم افزار، خطای معنایی برنامهمقالات مرتبط جدید
- طبقه بندی صفحات وب برای بهینه سازی موتورهای جستجو با استفاده از مدل ترکیبی یادگیری عمیق
- تحول دیجیتال با قراردادهای هوشمند بر پایه فناوری بلاکچین
- تحلیل و شناسایی آسیبپذیریهای ناش ی از حملات شرایط رقابتی در برنامه های وب مدرن
- مروری بر الگوریتم بهینه سازی ازدحام ذرات و کاربردها
- بهینه سازی زمانبندی و ذخیره سازی نتایج وظایف در محیطهای مه-ابر با یادگیری تقویتی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.