比尔•波特MathWorks
显示与源代码标准的一致性是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的自动标准检查和度量报告。
第1部分:介绍DO-178C的基于模型的开发了解如何在符合DO- 178c、DO-331、DO-333和DO-330的流程中,使用Simulink、Stateflow、嵌金宝app入式编码器和DO限定工具包使用基于模型的设计和形式化方法。
第2部分:合格的模型验证-需求跟踪使用Simulink需求执行从模型到需求的跟踪,遵循DO-178C和DO-331,然后使用Simulink报告生成器生成设计描述文档。金宝app
第三部分:合格的模型验证——仿真根据DO-178C和DO-331的要求,使用Simulink测试和Simulink覆盖率,进行仿真和模型覆盖率分析,验证模型。金宝app
第4部分:合格的模型验证-模型标准使用Simulink Check,按照DO-178C和DO-331的要求,执行静态分析,以验证模型标准、一致性和准确性。金宝app
第5部分:合格的模型验证-设计错误使用Simulink Design Verifier进行形式化方法分析,验证模型的一致性和准确性,符合DO-178C和DO-333的要求。金宝app
第6部分:合格的代码验证——从模型到代码使用嵌入式编码器和Simulink代码检查器从金宝app模型中生成代码,并验证转换是否符合DO-178C和DO-331。
第7部分:合格的代码验证-代码标准使用嵌入式编码器和Polyspace Bug Finder从模型中生成代码,并验证编码标准是否符合DO-178C和DO-331。
第8部分:合格的代码验证——代码错误使用Polyspace代码验证器,对DO-178C和DO-333进行形式方法分析,以验证代码的一致性和准确性。
第9部分:合格的测试生成根据DO金宝app-178C和DO-331,使用Simulink设计验证器和Simulink覆盖从模型生成测试,并验证低级测试覆盖。
第10部分:合格的软件测试使用处理器在循环中的能力和代码覆盖率分析来验证可执行的目标代码,符合DO-178C和DO-331,使用Simulink测试和Simulink覆盖率。金宝app
第11部分:工具鉴定使用DO限定工具包,使MathWorks工具符合DO- 178c和DO-330。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文),以获得最佳的网站表现。其他MathWorks国家站点没有针对您所在位置的访问进行优化。