:: دوره 7، شماره 1 - ( 6-1397 ) ::
جلد 7 شماره 1 صفحات 56-45 برگشت به فهرست نسخه ها
بررسی استانداردهای کدنویسی ایمن در زبان ++ C
محمدمحسن امیری1 ، مرتضی معمر*1 ، موسی محمدنیا1 ، مسعود عسگری مهر2
1- سازمان پژوهشی باقرالعلوم
2- تهران ضلع غربی استادیوم آزادی بعد از پژوهشگاه صنعت نفت سازمان پژوهشی باقار العلوم )ع) مرکز آفاق
چکیده:   (5385 مشاهده)

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

واژه‌های کلیدی: استانداردهای کدنویسی ایمن ++C، ابزارهای وارسی ایمنی در کد، هم‌پوشانی استانداردهای کدنویسی ++C، ایمنی در کدهای ++ C
متن کامل [PDF 3074 kb]   (1699 دریافت)    
نوع مطالعه: مروری | موضوع مقاله: رمز و امنیت اطلاعات
دریافت: 1396/1/26 | پذیرش: 1397/8/12 | انتشار: 1397/12/15


XML   English Abstract   Print



بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.
دوره 7، شماره 1 - ( 6-1397 ) برگشت به فهرست نسخه ها