بررسي استانداردهاي كدنويسي ايمن در زبان ++ C

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