[参考译文] TMS320F28379D：支持的静态代码分析工具

AK、

您要查看的链接是一个非常旧的新闻稿、LDRA 宣布目前支持与 Code Composer Studio 集成。 当时的 CCS 版本是 v6、但这并不意味着它是他们支持的最后版本。 LDRA 可以提供有关它们支持的版本的更多信息、但我希望您所使用的 v12也能得到支持。

还有其他解决方案、例如：

ParaSoft C/C++测试 https://www.parasoft.com/solutions/static-code-analysis/

vectorCAST https://www.vector.com/us/en/products/products-a-z/software/vectorcast/

Klocwork https://www.perforce.com/p/kw/try-klocwork-static-code-analyzer

也有较便宜的解决方案、例如 PC Lint

https://pclintplus.com/wp-content/uploads/2023/04/getting-started-pclp-generic-ccs-eval.pdf

此致、

John

谢谢、TI 通常使用哪些工具？ 如果在 CCS v12和 C2000 MCU 上进行测试、我们可能会采取类似的措施。

AK、

我将在 C2000团队中循环发言。

此致、

John

你好、AK、我们的大多数软件团队、包括那些从事 C2000软件开发的人员、都在使用 Klocwork。

惠特尼

您好、 Whitney、

感谢您提供的信息,我只是在查看 perforce 网页,他们有2个 STA 工具,Klocwork 和 Helix QAC

是否仅使用 Klocwork？ 您如何遵守 MISRA 标准？

此外、您通常会将其用作独立工具还是与 Code Composer 集成？ 我正在尝试了解执行 代码合规性检查的界面,报告生成这种事情,以便我们可以在我们的项目中复制类似的工作流。

是的、我们将使用 Klocwork for MISRA、然后用代码检查补充 Klocwork 分析、以涵盖该工具无法检查的规则。

我想大多数人都是独立使用的、尽管我以前在 CCS 中使用过 Eclipse 插件。 我认为还有 Visual Studio/VS 代码插件、尽管我还没有尝试过这些插件。

惠特尼

您是否有用于检查 MISRA 合规性的模拟/虚拟报告？

例如,考虑到 C2000ware 电机控制 SDK ,您能 分享 MISRA 合规性报告吗? 这将有助于获得一些想法和标准做法。

我不知道可以链接到任何公开版本的报告、但我们的 MISRA 报告模板基本上是这样

• Klocwork 构建配置信息(构建名称、创建日期、已启用的校验器、使用的 KW 版本等)
• 问题摘要、其中显示了每种严重性和状态的问题数
• 代码中发现的所有问题的列表(规则代码、位置、严重性、状态、注释、 等)
• 列出我们在检查器中启用的所有规则(MISRA C 2012、C 和 C++及其指标等)
• 偏差许可列表(可接受将问题状态设置为"忽略"或"不是问题"的用例的记录)

我们使用 Jira 来跟踪偏差记录、例如、如果在项目中、我们想说您可以在访问内存映射寄存器时将整数转换为指针、我们会为描述该用例的 R.11.4提交偏差。 然后在 Klocwork 中、无论何时报告该用例的问题、我们都可以将其状态设置为"忽略"、并在备注字段中提供偏差记录的 Jira ID、以解释理由。

希望这能给您一些想法？

惠特尼