从系列中:在DO-178C开发过程中使用合格的工具
比尔·波特
DO-178C的目标是测试高级需求和低级需求的覆盖率。通过在目标代码上重新运行用于验证模型的模拟用例,可以实现高级软件需求的测试覆盖率。模拟试验™ 提供了重新运行在模型上运行的模拟案例的能力,并重用它们来根据高级需求测试可执行目标代码。对于低级软件需求覆盖,有必要证明模型中的所有需求都被测试覆盖了。使用模型覆盖,Simulink覆盖的一个特性™, 可以看出,模型中的许多低级需求都包含在高级测试用例中。Simulink设计验证程序™ 然后,用于从模型中自动生成测试,仅针对那些缺少万博1manbetx低级需求覆盖率的测试。这是通过将模型覆盖率数据输入Simulink设计验证器并使其忽略模型的现有覆盖率来实现的。Simulink Coverage验证是否实现了缺失的模型覆盖率。此验证是必要的,因为Simulink Design Verifier在生成测试时可能会执行数值近似或使用块替换,因此模型覆盖率在原始模型上运行,而不是在近似模型上运行。工具提供了两个报告:Simulink Design Verifier的测试生成报告和Simulink coverage的模型覆盖率报告。DO鉴定工具包提供了必要的工件,以鉴定从Simulink coverage生成模型覆盖率报告的资格。
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。