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

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

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

چکیده ندارد.

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

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

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

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

نارساخوانی رایج­ترین نوع ناتوانی­های یادگیری است که حدود 80 درصد مشکلات یادگیری را در بر می­گیرد. هدف پژوهش حاضر مقایسه اثربخشی توان‌بخشی حافظة کاری به کمک رایانه و روش چندحسی بر بهبود کارکرد­های اجرایی دانشآموزان مبتلا به نارسا­خوانی بود. روش پژوهش آزمایشی با طرح پیش­آزمون-پس­آزمون با دو گروه آزمایش و یک گروه گواه بود. جامعه آماری شامل تمامی دانش­آموزان مقطع ابتدایی مبتلا به نارساخوانی شهر رشت...

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