什么是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这款静态代码分析工具吧,这会使您的合规变得更容易。