高级需求和低级需求的测试覆盖率是DO-178C的目标。通过重新运行用于在目标代码上验证模型的模拟用例,可以实现高级软件需求的测试覆盖率。金宝appSimulink Test™提供了重新运行在模型上运行的模拟用例的能力,并重用它们以针对高级需求测试可执行对象代码。对于低层次的软件需求覆盖,有必要表明模型中的所有需求都被测试覆盖了。使用模型覆盖(Simulink coverage™的一个特性),可以看金宝app到模型中的许多低级需求都被高级测试用例覆盖了。金宝app然后使用Simulink Design Verifier™从模型中自动生成测试,只针对那些缺少低级需求覆盖率的测试。这是通过将模型覆盖率数据输入到Simulink Deign Verifier中并让它忽略模型的现有覆盖率来实现的。金宝app金宝appSimulink Coverage提供了实现缺失模型覆盖率的验证。这种验证是必要的,因为在生成测试时,Simulink Design Ver金宝appifier可能会执行数值近似或使用块替换,因此模型覆盖将在原始模型上运行,而不是在近似的模型上运行。工具提供了两个报告:一个来自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国家站点没有针对您所在位置的访问进行优化。