从系列中:在DO-178C开发过程中使用合格的工具
高级需求和低级需求的测试覆盖率是DO-178C的目标。高层软件需求的测试覆盖是通过在目标代码上重新运行用于验证模型的模拟用例来实现的。金宝appSimulink Test™提供了重新运行在模型上运行的模拟用例的能力,并重用它们来根据高级需求测试可执行的目标代码。对于低层次的软件需求覆盖,有必要表明测试覆盖了模型中的所有需求。使用模型覆盖(Simulink coverage™的一个特性),可以显金宝app示模型中的许多低级需求都被高级测试用例覆盖了。金宝app然后使用Simulink Design Verifier™从模型自动生成测试,仅用于那些缺少低层次需求覆盖的测试。这是通过将模型覆盖率数据输入到Simulink design Verifier中,并让它忽略模型的现有覆盖率来实现的。金宝app金宝appSimulink Coverage提供了实现缺失模型覆盖的验证。此验证是必要的,因为Simulink Design Verifier在生成金宝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国家站点没有针对您所在位置的访问进行优化。