<video id="mfngb"></video>


  • 公司新聞

    Parasoft全面支持最新修訂的MISRA標準及其合規指南

    2020-04-21 16:39:17 218




    圖1:Parasoft C++test 可以檢測出所有不遵循MISRA C:2012(修訂版2)規則的違規

    Parasoft已經全面支持MISRA C 2012(修訂版2)和MISRA 2020合規指南

    位于MONROVIA,全球自動化測試軟件的領導者Parasoft在2020年3月30日宣布已全面支持MISRC C的最新編碼標準MISRA C 2012(修訂版2),該版本包含了對C語言標準C11(ISO/IEC 9899:2011)的支持。C11C18 (ISO/IEC 989:2018標準)取代了C99 (ISO/IEC 989:1999標準)。另外,MISRA發布了MISRA 2020合規指南,并強制要求遵循該標準。Parasoft指導用戶完成制定指導方針實施計劃(GEP)和指導方針重新分類計劃(GRP)并自動生成指導方針合規性總結(GCS)。

    Miroslaw Zielinski說:“C11和C18標準現已被業界廣泛采用,取代了過時的C99。MISRA C2012(修訂版2)提供了限制使用可能造成功能安全信息安全風險的新語言結構的初步指導方針。預計隨后的修訂將解除這些限制,并為C11 / C18中引入的擴展提供更具體的指南。Parasoft靜態分析工具已經支持MISRA C2012(修訂版2),并且支持MISRA C2012標準的未來更新版本。”

    Parasoft是MISRA委員會成員,在提供安全性的同時,為減少或消除因編碼缺陷而造成不可預測的故障提供指導。在MISRA C2012(修訂版2)中,用戶會發現適用于標準庫的新規則,該標準庫中的函數已被識別,但由于引入了安全漏洞,不應被使用。鑒于C語言容易出現大量的緩沖區溢出漏洞,因此,對構建嵌入式安全和安全關鍵系統的組織進行安全漏洞分析是至關重要的。

    MISRA C 2012修訂前,C11和C18代碼被確定為未定義。有些語言特性雖然定義良好,但不能滿足開發人員的期望。在代碼分析期間,這些代碼將被標記為違規,并且任何對語言特性的使用都必須通過偏差來度量和支持。因此,MISRA利用這個機會對標準進行了更新,將其提升到一個全新的標準


    oidgrαnny日本老熟妇,freemovies性中国china,水萝拉日语中字在线,亚洲美利坚色在线观看 网站地图