来自系列:在DO-178C开发过程中使用合格工具
比尔波特,Mathworks
在DO-178C中测试高级要求和低级要求的测试覆盖率是目标。通过重新运行用于验证目标代码上的模型的模拟案例来实现高级软件要求的测试覆盖。金宝appSimulink Test™提供了能够重新运行模型上运行的模拟案例,并重用它们以测试可执行对象代码以抵御高级要求。对于低级软件要求覆盖,有必要展示模型中的所有要求都被测试所覆盖。使用模型覆盖,可以说明模型中的一个特征,可以说明模型中的许多低级要求被金宝app高级测试用例覆盖。金宝app然后,Simulink Design Verifier™将用于仅为缺少的低级需求覆盖范围自动生成模型的测试。这是通过将模型覆盖率数据输入Simulink Deign验证者来实现,并且它忽略模型的现有覆盖范围。金宝app金宝appSimulink Coverage提供验证缺少模型覆盖率的覆盖。这种验证是必要的,因为Simulink设计验证者可以在生成测试时执行数字近金宝app似或使用块替换,因此模型覆盖范围在原始模型上运行,而不是近似的模型。工具提供了两份报告:来自Simulink Design Verifier的测试生成报告和来自Simulink Coverage的模型覆盖报金宝app告。 The DO Qualification Kit provides the necessary artifacts to qualify the generation of the model coverage report from Simulink Coverage.
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。