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

創提信息
2022/06/27

分享到

聯合攻擊戰鬥機空中運載工具C++ (Joint Strike Fighter Air Vehicle C++, 簡稱JSF AV C++)是由洛克希德•馬丁公司(Lockheed Martin)制定的C++編碼規範,能(néng)夠幫助程序員開(kāi)發(fā)适用于安全關鍵系統的無錯誤代碼。


JSF編碼規範包括哪些内容?
 
JSF編碼規範涵蓋了C++的安全關鍵編碼規則。
 
開(kāi)發(fā)人員使用JSF編碼規範來開(kāi)發(fā)沒(méi)有缺陷的代碼。一個小的編碼錯誤可能(néng)會(huì)對(duì)人或系統造成(chéng)重大的傷害。


爲什麼(me)C++需要一個編碼規範
 
由于C++的特性,JSF編碼規範顯得尤其重要。
 
C++語言經(jīng)常用于在安全關鍵環境中開(kāi)發(fā)應用程序,但C++并不是專門設計用于安全關鍵環境的。而使用JSF編碼規範則使C++更安全。
 
JSF編碼規範旨在定義一個C++規則集,從而開(kāi)發(fā)準确、可靠和可維護的代碼。


JSF++特性
 
按照JSF++編寫的代碼將(jiāng)是:
 
    • 可靠的
 
    • 可移植的
 
    • 可維護的
 
    • 可測試的
 
    • 可複用的
 
    • 可擴展的
 
    • 可讀的


誰應該使用JSF編碼規範?
 
JSF編碼規範是爲航空航天和國(guó)防工業設計的。
 
今天的空中運載工具比以往任何時(shí)候包含的代碼行都(dōu)多。一個編碼錯誤可能(néng)就(jiù)會(huì)讓安全性大打折扣。
 
JSF編碼規範也可應用于其他嵌入式行業,比如汽車或醫療設備。


如何遵守JSF AV C++編碼規範
 
爲了遵守JSF AV C++編碼規範,您將(jiāng)需要一個靜态代碼分析工具。
 
适用于C++的Helix QAC包含一個JSF AV C++合規模塊,可以強制執行這(zhè)些編碼規則。這(zhè)有助于您安全使用C++語言。
 
因此,當您使用Helix QAC時(shí),您會(huì)獲取:
 
    • 最全面(miàn)的JSF AV C++規則檢查。
 
    • 完全文檔化的規則實施和消息解釋。
 
    • 廣泛的示例代碼。
 
    • 完全可配置的規則處理。
 
您還(hái)將(jiāng)得到關于如何修改代碼以遵守JSF AV C++編碼規範的建議。您將(jiāng)提高軟件的集成(chéng)性。您還(hái)會(huì)獲得一份審計文件,證明您遵守了JSF AV C++編碼規範。


試用Helix QAC以遵守JSF AV C++編碼規範
 
欲了解Helix QAC將(jiāng)如何幫助您遵守JSF AV C++編碼規範,立刻注冊申請免費試用Helix QAC這(zhè)款靜态代碼分析工具吧,這(zhè)會(huì)使您的合規變得更容易。