比尔•波特MathWorks
可执行目标代码的验证跨越了DO-178C中的几个目标。几种类型的测试方法在DO-178C中被调用:基于需求的硬件和软件集成测试,基于需求的软件集成测试,以及基于需求的低级测试。虽然硬件和软件集成测试需要在实际的目标硬件上执行,但是DO-178C允许其他测试环境。万博1manbetx动态仿真模块®和嵌入式编码®通过允许Simulink连接到目标处理器板,然后可以在Simulink中作为一个块进行测试,从而为处理器在环测试提供功能。万博1manbetx万博1manbetxSimulink Test™提供了重新运行在模型上运行的模拟用例的能力,并重用它们来测试可执行的目标代码。此外,当使用Simulink Desi万博1manbetxgn Verifier™从模型中自动生成测试以弥补缺失的低层次需求覆盖率时,这些测试用例将被导出到Simulink test,然后可以使用处理器在循环中运行在可执行对象代码上。DO-178C中的一个附加需求是,当验证对高级和低级软件需求的遵从性时,需要评估代码覆盖率。万博1manbetxSimulink Coverage™提供了代码覆盖率评估,当使用Simulink Test时,它被集成起来自动运行。代码覆盖可以在主机上使用软件在环测试运行,或者在目标板上使用处理器在环测试运行。工具提供了两个报告:包含通过/失败评估的测试结果报告和代码覆盖报告。DO确认套件提供了必要的工件来确认测试结果报告、通过/失败评估和代码覆盖报告的生成。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。