main content

编码标准和代码度量 -凯发k8网页登录

misra、autosar、cert 和 jsf 编码规则集,自定义编码规则,代码度量

要指定您要检查的编码标准,例如 misra c®:2012 或 autosar c 14,请使用编码标准选项。要在分析结果中查看代码复杂度度量,例如圈复杂度和调用函数或被调用函数的数目,请使用代码度量选项。

分析选项

check for violation of misra c:2004 rules
check for violation of misra ac agc rules
检查 misra c:2012 规则和指令违规
check for violations of misra c:2012 rules and directives that apply to generated code
specify data types that coding rule checker must treat as effectively boolean
检查是否存在违反 cert c 规则和建议的情形
check for violations of iso/iec ts 17961 rules
check for violations of misra c rules
check for violations of jsf c rules
检查 autosar c 14 违规
check for violations of cert c rules
define a custom set of coding standards checks for your analysis
follow naming conventions for identifiers
check for violations of guidelines
specify pragma directives that are documented
计算并显示代码复杂度度量

主题

快速入门


  • 在 polyspace® 用户界面、其他 ide 或脚本中指定 polyspace 分析选项。
  • 检查编码标准违规
    使用 polyspace bug finder 检查代码是否违反了 autosar c 14、cert® c、cert c 、misra c、misra® c 、jsf av c 或 iso-17961 标准。

  • enforce naming conventions and other style guidelines on c/c code with polyspace.

  • enable and configure the software complexity checkers to identify issues that make your code difficult to read, understand, and debug.

misra 或 jsf 规则


  • avoid conflicting declarations or unintended modification of variables.

  • adjust your coding rules checking for a faster analysis.

代码复杂度度量


  • 对代码复杂度度量(例如圈复杂度和嵌套深度)强制施加限制。

  • 查看 polyspace 中支持的哪些代码复杂度度量是 hersteller initiative software (his) 标准的一部分。

修改检查项行为


  • extend or constrain the default behavior of defect or coding standard checkers using polyspace analysis options.

相关信息



网站地图