افزایش قابلیت اطمینان نرمافزار با حداقل هزینه و سربار کارایی
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 470
فایل این مقاله در 5 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
DCBDP01_042
تاریخ نمایه سازی: 19 خرداد 1396
چکیده مقاله:
امروزه سیستمهای نرمافزاری در ابعاد مختلف زندگی انسانها مانند حوزههای مختلف صنعتی، علمی، اجتماعی، پزشکی و نظامی کاربرد- های کلیدی و حساس دارند. در بعضی از این کاربردها عملکرد صحیح و بدون نقص سیستمهای کامپیوتری مورد تاکید بوده و وجود خطا و شکست میتواند منجر به هزینههای بالای مالی یا جانی شود. لذا افزایش قابلیت اطمینان نرمافزار یک نیاز کلیدی در فرآیند تولید نرم- افزار میباشد. برای افزایش معیار قابلیت اطمینان نرمافزار از تکنیک مختلف افزونگی در سطوح مختلف نرمافزار استفاده می-شود. سربار زمانی و حافظهی ناشی از روشهای افزونگی باعث افت چشمگیر کارایی نرمافزار میشود و این افت کارایی در سیستمهای بلادرنگ قابل تحمل نمیباشد. روش پیشنهادی بر افزایش قابلیت اطمینان نرمافزار با سربار کارایی محدود تاکید دارد. در روش پیشنهادی ابتدا قسمتهای حساس برنامه با استفاده از تحلیل ایستای کد برنامه کشف شده سپس در مرحلهی دوم افزونگی برروی قسمتهای حساس برنامه اعمال میشود. جهت ارزیابی روش پیشنهادی، بر روی تعدادی برنامه در زبان C++ تعداد مشخصی خطا تزریق کرده و نتایج را مورد بررسی قرار می دهیم. نتایج بدست آمده نشاندهنده توانایی روش پیشنهادی در تشخیص خطاهای نرم میباشد.
کلیدواژه ها:
نویسندگان
اصغر محمدیان
دانشگاه آزاد اسلامی، واحد ایلخچی، گروه مهندسینرمافزار، ایلخچی، ایران
بهمن آراسته
دانشگاه آزاد اسلامی، واحد تبریز، گروه مهندسی نرم-افزار، تبریز، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :