qac -凯发官方首页

关于socionext
        socionext是由富士通与松下电器共同成立的一家片上系统(soc)研发设计公司，总部位于日本横滨，致力于为汽车、工业及消费者市场提供成像及网络传输的片上系统(soc)产品。
        socionext的soc产品主要内嵌部署于用户的产品当中，这对socionext的软硬件产品质量提出了极高的要求，因为soc产品部署后一旦发现问题，将很难进行修复。

引入misra c标准
       socionext开始的研发流程当中，使用人工代码审查的方式来保证代码的质量。但随着研发工程师人数的不断增加，跨团队、跨地域开发的情况越来越频繁，人工代码审查的方式已经无法满足研发团队对效率、准确性以及一致性的要求，需要将静态代码分析引入其研发流程当中。

        与此同时，socionext意识到misra c编码规范在安全关键领域——比如汽车行业有着强大影响力，那些对安全极端敏感的目标客户，普遍要求供应商交付的代码遵循misra c编码规范。但在深入了解misra c规范之后，socionext发现使用人工方式来审查这一百多条编码规范非常不现实，必须使用专业的自动化静态代码分析工具。
        经过市场调研后，socionext发现qac是日本汽车市场静态代码分析领域的“标配”，在整个日本汽车行业的供应体系内，将qac和misra c编码规范划上了等号，qac的分析报告基本等同于misra c编码规范的分析报告。数轮市场调研之后，socionext决定在其研发流程当中使用qac。
 

qac | misra c部署
        数年的代码开发工作让socionext的研发团队成功地总结出了一批经验性的编码规则。socionext在项目当中执行这些编码规则，以规避某些特定bug的产生。但针对某个具体的项目该应用哪几条编码规则，则要依据客户的具体需求而定，一般情况下，socionext选择执行其中的150条经验性编码规则，并将这150条编码规则与qac的1300多条错误提示消息建立了映射关系。这样，企业内部自定义的编码规则也可以通过qac工具被自动执行。
        当然，对于更多的项目而言，客户一般直接要求执行misra c编码规范。此时直接选择使用qac的misra c编码规范包即可。
客户收益
        socionext使用qac已经超过五年，socionext认为qac能够帮助自己：
• 高效、准确地找出代码中潜在的重大问题，比如：未被恰当初始化的变量、错误的#if - #endif声明、有可能导致代码不可达的带有条件分支的不变代码等。
• 更高效地执行代码审查。socionext如今的研发流程要求：在执行代码审查之前，必须先用qac分析代码。这有效地避免了将一些低级代码错误引入代码审查流程，使得开发人员可以更专注于寻找代码中更为严重的问题，比如逻辑错误；同时也显著地提高了代码的开发速度——至少提高了10%。
• 更高效地执行代码测试。经过qac分析过的代码质量更高、执行代码动态测试的效率更高，代码返工率显著下降。
• 显著地提升了代码开发工程师的能力。使用qac一段时间之后，代码开发工程师的编码水平得到了显著提升，这对于提高开发团队的整体水平大有裨益。
• 显著地提高了代码的易维护性。使用qac一段时间之后，开发团队开发出的代码结构更加完善、易于理解、易于维护升级、显著地降低了代码开发的成本及风险。