编码规范的自动化合规检查

来源:互联网 发布:2017土著勇士升级数据 编辑:程序博客网 时间:2024/04/30 09:25

如今很多公司早已认识到编码规范的重要性意义,都决议要采用编码指南,但遗憾的是:因为在执行过程中遇到的一些实际的困难,最终都没能坚持执行。这些公司会在编写出编码指南方面花了很多精力,但是最后这些相关文档都被束之高阁,并未真正贯彻执行。

实际经验表明,如果只是通过传统的人工方式进行代码评审,很难有效地执行MISRA、JSF或其它类似的编码指南中规定的所有编码规则。因为传统的代码评审方式不仅要耗费大量的时间,而且也不并总是十分可靠。

鉴于这些经验总结,PRQA提供了以下合规模块(与QA·C, QA·C++ 和/或 QA·Verify配合使用),帮助执行特定的编码规范要求。

  • MISRA C:1998
  • MISRA C:2004
  • MISRA C:2012
  • MISRA C++
  • JSF
  • HIC++
除此之外,PRQA还可支持其它编码规范,如:CERT C,而且不需要其它特定的编码规范合规模块。

PRQA能够提供为客户建立专用的合规模块的服务,在为需要制定内部编码规则的公司建立专用的合规模块方面已有25年多的经验。




0 0