سید مرتضی بابامیر - دانشگاه کاشان - گروه مهندسی کامپیوتر
ساناز شیخی - دانشگاه کاشان - گروه مهندسی کامپیوتر
صفیه طهماسبی پور - دانشگاه کاشان - گروه مهندسی کامپیوتر

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

قابلیت اطمینان ، تحمل پذیری خطا ، بهینه سازی ، برنامه نویسی چند نسخه ای ، بلاک ترمیم توافقی