CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی

عنوان مقاله: ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی
شناسه ملی مقاله: GRAMS02_022
منتشر شده در دومین کنفرانس ملی مدیریت و مهندسی کیفیت و قابلیت اتکا در سال 1402
مشخصات نویسندگان مقاله:

سیدمحمدیاسر میرفردوس - کارشناس ارشد مدیریت فناوری اطلاعات
آزاده کراری - کارشناس ارشد مهندسی فناوری اطلاعات

خلاصه مقاله:
قابلیت اطمینان در یک نرم افزار، از جنبه های حائز اهمیت در حوزه کیفیت نرم افزار می باشد. زمانیکه در مورد نرم افزارهای نهفته و بی درنگ صحبت می شود، اهمیت قابلیت اطمینان بسیار بیشتر خواهد بود. زیرا بیشتر این نرم افزارها در حوزه های مرتبط با بحرانی-ایمنی و بحرانی-ماموریت، سر و کار داشته و هر گونه شکست در نرم افزار حین ماموریت ممکن است خسارات مالی و جانی غیرقابل جبران به همراه داشته باشد

کلمات کلیدی:
کیفیت نرم افزار، قابلیت اطمینان، نرم افزارهای نهفته و بی درنگ، تحلیل ایستا

صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/2018975/