اشکال زدایی نرم افزار به صورت دستی فرایندی بسیار دشوار و پرهزینه است. مکان یابی و رفع خطاهای پنهان نرم افزار پرهزینه ترین عمل در فرایند اشکال زدایی برنامه است. تاکنون راهکارهای متعددی برای خودکارسازی مکان یابی خطا ارائه شده است. بسیاری ازاین راهکارها مکانیابی خطا را با فرض وجود یک خطا در هر بار اجرای برنامه انجام می دهند و پس از رفع یک خطا در برنامه، عملیات مکانیابی را مجدداً تکرار می کنند. فرض ...

با توجه به رشد روز¬افزون بازار فروش نرم¬افزار و نیاز¬های اساسی جامعه به محصولات نرم¬افزاری، فرایند آزمون نرم¬افزار هم از لحاظ کیفی و هم از لحاظ قابلیت اطمینان حائز اهمیت است. این آزمون به بررسی کیفیت یک محصول در جهت یافتن خطاها اقدام می¬کند. آزمون فقط می¬تواند وجود خطاها را نشان دهد ولی نمی¬تواند عدم وجود خطا را تضمین نماید. آزمون نرم¬افزار در ارتباط با دو موضوع مطرح می شود: 1) آیا نرم¬افزار به...

با توجه به کاربرد¬های گسترده سیستم¬های نرم افزاری در همه جوانب زندگی امروز بشر، لزوم تولید نرم افزارهای تقریباً بدون خطا و با کیفیت بالا بیش از پیش اهمیت پیدا کرده است. قابلیت اطمینان نرم افزار یک رهیافت مهم برای ارزیابی کیفیت نرم افزار در نظر گرفته می¬شود. مدل¬سازی قابلیت اطمینان نرم افزار بر اساس فرایند پواسون ناهمگن یکی از روش¬های کاملاً موفق در مهندسی قابلیت اطمینان نرم افزار می¬باشد. در این ...

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

امولاتور دورن مداری وسیله ای است که دارای قابلیت های مناسبی جهت عیب یابی و اشکال زدایی نرم افزاری و سخت افزاری سیستم های ریزپردازنده ای می باشد. از امولاتور دورن مداری جهت حایگزینی پردازنده، حافظه و i/oها در یک سیستم تحت طراحی و یا پردازنده بعلاوه حافظه، با پردازنده اصلی استفاده می شود. در این پایان نامه مراحل طراحی و تولید سیستم نرم افزاری امولاتوری دورن مداری میکروکنترلر 16-8 بیتی 80c196kb از...

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

چکیده ندارد.

تاکنون راه¬کارهای مختلفی برای خودکارسازی مکان¬یابی خطا در برنامه¬ها ارائه شده است. برخی از روش-ها از اطلاعات پوششی موارد آزمون بر روی واحدهای کد و برخی دیگر از اطلاعات مربوط به دنباله¬های اجرایی برای نیل به این هدف استفاده می¬کنند. روش¬های مبتنی بر اطلاعات پوششی، برای شناسایی مکان-های خطا فقط به اجرا شدن یا نشدن واحدهای کد (اطلاعات دودویی) در اجراهای موفق و ناموفق توجه دارند. در این پژوهش بر خل...

آشنایی زدایی (غریب سازی) یکی از شگردهای آفرینش شعر و از مباحث مهم نقد ادبی معاصر است که نخستین بار توسط فرمالیست ها (صورتگرایان) روس مطرح شد. آنها اعتقاد داشتند استفاده مکرر از واژگان و ترکیبات کهن در شعر، از ارزش و زیبایی متن کاسته و انگیزه مخاطبِ شعر نیز از آن سلب خواهد شد. به همین دلیل آنها بحث آشنایی زدایی را مطرح کردند و هدف اصلی آن را جلوگیری از تکرار و ابتذالِ واژگان، ترکیبات و تصاویر کلیش...

آشنایی زدایی (غریب سازی) یکی از شگردهای آفرینش شعر و از مباحث مهم نقد ادبی معاصر است که نخستین بار توسط فرمالیست ها (صورتگرایان) روس مطرح شد. آنها اعتقاد داشتند استفاده مکرر از واژگان و ترکیبات کهن در شعر، از ارزش و زیبایی متن کاسته و انگیزه مخاطبِ شعر نیز از آن سلب خواهد شد. به همین دلیل آنها بحث آشنایی زدایی را مطرح کردند و هدف اصلی آن را جلوگیری از تکرار و ابتذالِ واژگان، ترکیبات و تصاویر کلیش...