ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی
عنوان مقاله: ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی
شناسه ملی مقاله: GRAMS02_022
منتشر شده در دومین کنفرانس ملی مدیریت و مهندسی کیفیت و قابلیت اتکا در سال 1402
شناسه ملی مقاله: GRAMS02_022
منتشر شده در دومین کنفرانس ملی مدیریت و مهندسی کیفیت و قابلیت اتکا در سال 1402
مشخصات نویسندگان مقاله:
سیدمحمدیاسر میرفردوس - کارشناس ارشد مدیریت فناوری اطلاعات
آزاده کراری - کارشناس ارشد مهندسی فناوری اطلاعات
خلاصه مقاله:
سیدمحمدیاسر میرفردوس - کارشناس ارشد مدیریت فناوری اطلاعات
آزاده کراری - کارشناس ارشد مهندسی فناوری اطلاعات
قابلیت اطمینان در یک نرم افزار، از جنبه های حائز اهمیت در حوزه کیفیت نرم افزار می باشد. زمانیکه در مورد نرم افزارهای نهفته و بی درنگ صحبت می شود، اهمیت قابلیت اطمینان بسیار بیشتر خواهد بود. زیرا بیشتر این نرم افزارها در حوزه های مرتبط با بحرانی-ایمنی و بحرانی-ماموریت، سر و کار داشته و هر گونه شکست در نرم افزار حین ماموریت ممکن است خسارات مالی و جانی غیرقابل جبران به همراه داشته باشد
کلمات کلیدی: کیفیت نرم افزار، قابلیت اطمینان، نرم افزارهای نهفته و بی درنگ، تحلیل ایستا
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/2018975/