来自系列:在DO-178C开发过程中使用合格工具
比尔波特,Mathworks
可执行文件代码的验证跨越DO-178C的几个目标。DO-178C中的几种测试方法被呼出:基于要求的硬件和软件集成测试,基于要求的软件集成测试,以及基于要求的低级测试。虽然需要在实际目标硬件上执行硬件和软件集成测试,但DO-178C确实允许其他测试环境进行其他测试。金宝appsimulink.®和嵌入式编码器®通过允许Simulink连接到目标处理器板来提供处理器内测试的功能,然后可以在Simulink中作为块被测试为块。金宝app金宝appSimulink Test™提供了能够重新运行在模型上运行的模拟案例并重用它们以测试可执行对象代码。此外,当Simulink Design金宝app Verifier™用于自动生成从模型的测试时,缺少低级需求覆盖范围,那些测试用例将导出到Simulink测试,然后可以使用循环的处理器对象代码上运行。DO-178C中的另一个要求是在验证对高级和低级软件要求的遵守情况时需要进行代码覆盖。金宝appSimulink Coverage™提供代码覆盖评估,并且在使用Simulink测试时,它集成到自动运行。可以在主机上使用软件循环测试或在目标板上使用处理器循环时运行代码覆盖范围。该工具提供了两份报告:测试结果报告通过/失败评估和代码报告报告。DO资格套件提供必要的工件,以资格获得测试结果报告,通过/失败评估和代码报告。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。