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