مقاله طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن مقاله طراحی یک راستی آزمای جدید برای یک نرم افزار حساس به ایمنی : رویکردی ترکیبی از روش های رسمی :

تعداد صفحات:۱۰

چکیده:

یکی از سیستم های حساس به ایمنی که مورد استفاده ی بیماران دیابتی قرار می گیرد سیستم پمپ انسولین همراه یا CIIP است . یکی از مهمترین ویژگی های سیستم های حساس به ایمنی این است که ایمنی محیط خود را تضمین نمایند، زیرا رخ دادن خطا در این سیستم ها اثرات جبران ناپذیری دربر خواهد داشت؛ بنابراین این سیستم ها باید به یک شیوه ی ایمن طراحی شوند. زیرا همواره هر نرم افزاری دارای یکسری نقص های بالقوه خواهد بود. لذا ما در این مقاله با بهره گیری از یک رویکرد ترکیبی ، با استفاده از یک روش رسمی بصری و یک روش رسمی متنی، راستی آزمای جدیدی برای سیستم CIIPطراحی می کنیم و از این طریق ویژگی ایمن بودن این سیستم را افزایش می دهیم. به همین منظور ، برای توصیف رفتار طبیعی سیستم از یک رهیافت سه لایه ای استفاده خواهیم کرد. برای توصیف بهتر راستی آزمای سیستم نیز، خواسته ای امنیتی را به سه دسته مجزا از هم تقیسم کرده و سپس آنها را توصیف می کنیم.