بررسی استانداردهای کدنویسی ایمن در زبان ++ C

Authors

  • عسگری مهر, مسعود تهران ضلع غربی استادیوم آزادی بعد از پژوهشگاه صنعت نفت سازمان پژوهشی باقار العلوم )ع) مرکز آفاق
Abstract:

با گسترش روزافزون به‌کارگیری سامانه‌های رایانه‌ای در کاربردهای بحرانی-ایمن، استفاده از روش‌های ارتقای ایمنی و قابلیت اطمینان در فازهای اولیه طراحی و تولید، اهمیت به‌سزایی پیدا کرده است. چون رخداد اشکال یا بروز شکست در این سامانه‌های بحرانی نه‌‌تنها هزینه‌های بسیاری را به تولیدکننده تحمیل می‌کند، بلکه می‌تواند جان و مال انسان‌ها و نیز محیط‌زیست را به مخاطره بیندازد. در این مقاله چهار استاندارد مطرح برنامه‌نویسی به زبان ++C به نام‌های MISRA C++، JSF AV C++، HI C++، ESCR C++ مورد بررسی قرار گرفته است؛ که قادر خواهند بود، معیار ایمنی را در کدهای نوشته‌‌شده در مرحله طراحی کد، افزایش دهند. از‌این‌رو در این مقاله، ابتدا میزان هم‌پوشانی این استانداردها به جهت یافتن جامع‌ترین استاندارد ارزیابی‌شده و در ادامه به میزان غنای این استانداردها از شش جهت قابلیت اطمینان، تعمیر، خوانایی، آزمون‌پذیری، کارایی و ایمنی پرداخته شده است. در پایان ابزارهایی را که توانایی وارسی این استانداردها را در حین تولید دارند، مورد بررسی قرار خواهیم داد.  

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

بررسی نقش واسطه ای گفتار با خود در مدل مفهومی رابطه رشد زبان و دلبستگی ایمن با خودتنظیمی رفتاری

هدف پژوهش حاضر بررسی نقش واسطه­ای گفتار با خود در مدل مفهومی رابطه رشد زبان و دلبستگی ایمن با خودتنظیمی رفتاری کودکان است. در این مطالعه همبستگی 128 کودک 3 الی 7 ساله از مهدکودک­های شهر تهران انتخاب شدند. نسخه فارسی آزمون رشد زبان (حسن­زاده و مینایی،1380)،  مصاحبه  اختلال در دلبستگی (اسمایک و زینه، 1999)، مقیاس گفتار با خود (امرایی، 1394)، پرسشنامه مشکلات رفتاری کودکان پیش دبستانی (شهیم و یوسفی...

full text

بررسی وضعیت رعایت استانداردهای پرستاری در ارتباط با ساکشن ایمن، در پرستاران شاغل در بخش مراقبت‌های ویژه یکی از مراکز آموزشی – درمانی شهر ارومیه سال 1390

  بررسی وضعیت رعایت استانداردهای پرستاری در ارتباط با ساکشن ایمن، در پرستاران شاغل در بخش مراقبت‌های ویژه یکی از مراکز آموزشی – درمانی شهر ارومیه سال 1390     نوریه امیرزاده [1] *، دکتر رحیم بقایی [2] ، دکتر آرام فیضی [3] ، فاطمه خرسندی [4]     تاریخ دریافت 30/10/1391 تاریخ پذیرش 22/12/1391     چکیده   پیش زمینه و هدف: ساکشن رویه‌ای ضروری برای باز نگه داشتن لوله درون تراشه در بیماران تحت تهویه ...

full text

بررسی میزان رعایت استانداردهای تزریق ایمن توسط پرستاران بخش‌های اورژانس در مراکز آموزشی درمانی وابسته به دانشگاه علوم پزشکی ارومیه در سال 1394

تاریخ دریافت 15/08/1394 تاریخ پذیرش 25/10/1394 چکیده پیش‌زمینه و هدف: ایمنی یک اصل اساسی در مراقبت از بیمار و یک استراتژی مهم در حوزه­ی سلامت است و چگونگی به‌کارگیری احتیاط­های استاندارد و رعایت اصول تزریقات ایمن توسط پرستاران برای حفظ ایمنی بیمار و پرستار دارای اهمیت ویژه­ای می‌باشد. این بررسی به‌منظور تعیین میزان رعایت استانداردهای تزریق ایمن توسط پرستاران بخش­های اورژانس انجام شده است. مواد...

full text

نکاتی در مورد ایمن سازی

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

full text

اثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین

Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 7  issue 1

pages  45- 56

publication date 2019-03

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

No Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023