来自系列:在DO-178C开发过程中使用合格工具
比尔波特,Mathworks
显示源代码标准的一致性是DO-178C的目标。嵌入式编码器®有能力遵守Misra®C:2012编码标准。PolySpace Bug Finder™是一个静态分析工具,用于分析手写代码或嵌入式编码器生成的代码的C源代码。PolySpace Bug Finder用于验证源代码是否符合Misra C:2012强制性编码规则以及其他一些类别规则。这些检查可以直接从Simulink中的菜单运行万博1manbetx®代码生成后。PolySpace Bug Finder还提供了测量代码度量的能力,例如循环复杂性和评论密度。对于每个源代码文件,将为每个源代码文件生成指示每个MISRA检查和源代码指标的详细信息的报告。如果找到不合规性,则报告可以导航回代码行,以及该代码的模型元素。此报告可以以各种格式提供,例如用于长期存档的富文本,单词,HTML或PDF。Do Reseification Kit提供了必要的工件,以限定PolySpace Bug Finder的自动标准检查和指标。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。