افزایش قابلیت اطمینان نرمافزار با حداقل هزینه و سربار کارایی
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 508
This Paper With 5 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
DCBDP01_042
تاریخ نمایه سازی: 19 خرداد 1396
Abstract:
امروزه سیستمهای نرمافزاری در ابعاد مختلف زندگی انسانها مانند حوزههای مختلف صنعتی، علمی، اجتماعی، پزشکی و نظامی کاربرد- های کلیدی و حساس دارند. در بعضی از این کاربردها عملکرد صحیح و بدون نقص سیستمهای کامپیوتری مورد تاکید بوده و وجود خطا و شکست میتواند منجر به هزینههای بالای مالی یا جانی شود. لذا افزایش قابلیت اطمینان نرمافزار یک نیاز کلیدی در فرآیند تولید نرم- افزار میباشد. برای افزایش معیار قابلیت اطمینان نرمافزار از تکنیک مختلف افزونگی در سطوح مختلف نرمافزار استفاده می-شود. سربار زمانی و حافظهی ناشی از روشهای افزونگی باعث افت چشمگیر کارایی نرمافزار میشود و این افت کارایی در سیستمهای بلادرنگ قابل تحمل نمیباشد. روش پیشنهادی بر افزایش قابلیت اطمینان نرمافزار با سربار کارایی محدود تاکید دارد. در روش پیشنهادی ابتدا قسمتهای حساس برنامه با استفاده از تحلیل ایستای کد برنامه کشف شده سپس در مرحلهی دوم افزونگی برروی قسمتهای حساس برنامه اعمال میشود. جهت ارزیابی روش پیشنهادی، بر روی تعدادی برنامه در زبان C++ تعداد مشخصی خطا تزریق کرده و نتایج را مورد بررسی قرار می دهیم. نتایج بدست آمده نشاندهنده توانایی روش پیشنهادی در تشخیص خطاهای نرم میباشد.
Keywords:
Authors
اصغر محمدیان
دانشگاه آزاد اسلامی، واحد ایلخچی، گروه مهندسینرمافزار، ایلخچی، ایران
بهمن آراسته
دانشگاه آزاد اسلامی، واحد تبریز، گروه مهندسی نرم-افزار، تبریز، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :