什麼是JSF AV C++編碼規範?

創提科技
2022/06/27

分享到

聯合攻擊戰鬥機空中運載工具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這款靜態程式碼分析工具吧,這會使您的合規變得更容易。