从系列中:在DO-178C开发过程中使用合格的工具
显示与源代码标准的一致性是DO-178C的一个目标。嵌入式编码器®是否有能力遵守MISRA®C:2012编码标准。Polyspace Bug Finder™是一个静态分析工具,用于分析C源代码的手写代码或嵌入式编码器生成的代码。Polyspace Bug Finder用于验证源代码是否符合MISRA C:2012强制性编码规则以及其他一些类别的规则。这些检查可以直接从Simulink的菜单中运行金宝app®代码生成后。Polyspace Bug Finder还提供了度量代码指标的功能,例如圈复杂度和注释密度。将为每个源代码文件生成一个报告,指示每个MISRA检查的通过/失败以及源代码度量的详细信息。如果发现不符合规定,报告可以导航回代码行,以及该代码的模型元素。该报告可以以各种格式提供,例如富文本、Word、HTML或PDF,以便长期存档。DO鉴定工具包提供了必要的工件来鉴定Polyspace Bug Finder的自动标准检查和指标报告。
您也可以从以下列表中选择一个网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。