創提部落格
希望我們能與您分享和探討成長中的點點滴滴
什麼是JSF AV C++編碼規範?
分享到
聯合攻擊戰鬥機空中運載工具C++ (Joint Strike Fighter Air Vehicle C++, 簡稱JSF AV C++)是由洛克希德•馬丁公司(Lockheed Martin)制定的C++編碼規範,能夠説明程式師開發適用于安全關鍵系統的無錯誤程式碼。
JSF編碼規範包括哪些內容?
JSF編碼規範涵蓋了C++的安全關鍵編碼規則。
開發人員使用JSF編碼規範來開發沒有缺陷的程式碼。一個小的編碼錯誤可能會對人或系統造成重大的傷害。
為什麼C++需要一個編碼規範
由於C++的特性,JSF編碼規範顯得尤其重要。
C++語言經常用於在安全關鍵環境中開發應用程式,但C++並不是專門設計用於安全關鍵環境的。而使用JSF編碼規範則使C++更安全。
JSF編碼規範旨在定義一個C++規則集,從而開發準確、可靠和可維護的程式碼。
JSF++特性
按照JSF++編寫的程式碼將是:
• 可靠的
• 可移植的
• 可維護的
• 可測試的
• 可複用的
• 可擴展的
• 可讀的
誰應該使用JSF編碼規範?
JSF編碼規範是為航空航太和國防工業設計的。
今天的空中運載工具比以往任何時候包含的程式碼行都多。一個編碼錯誤可能就會讓安全性大打折扣。
JSF編碼規範也可應用於其他嵌入式行業,比如汽車或醫療設備。
如何遵守JSF AV C++編碼規範
為了遵守JSF AV C++編碼規範,您將需要一個靜態程式碼分析工具。
適用於C++的Helix QAC包含一個JSF AV C++合規模塊,可以強制執行這些編碼規則。這有助於您安全使用C++語言。
因此,當您使用Helix QAC時,您會獲取:
• 最全面的JSF AV C++規則檢查。
• 完全文檔化的規則實施和消息解釋。
• 廣泛的示例程式碼。
• 完全可配置的規則處理。
您還將得到關於如何修改程式碼以遵守JSF AV C++編碼規範的建議。您將提高軟體的集成性。您還會獲得一份審計文件,證明您遵守了JSF AV C++編碼規範。
試用Helix QAC以遵守JSF AV C++編碼規範
欲瞭解Helix QAC將如何説明您遵守JSF AV C++編碼規範,立刻註冊申請免費試用Helix QAC這款靜態程式碼分析工具吧,這會使您的合規變得更容易。