代码覆盖率分析测试
评估代码验证的彻底程度和可靠性
Simulink® Design Verifier™ 中的代码覆盖率分析涉及评估从 Simulink 模型生成的代码的测试彻底程度。此分析对于确保代码按预期运行并符合质量标准至关重要。代码覆盖率分析有助于识别测试过程中未被执行的代码部分,这些部分可能表示存在潜在的弱点或未经测试的场景。
通过执行代码覆盖率分析,开发人员可以:
识别未测试到的代码部分。
改进测试用例以实现更高的覆盖率。
确保符合行业标准(例如 DO-178C),这些标准通常要求特定的代码覆盖率等级。
Simulink Design Verifier 将这些分析集成到基于模型的设计工作流中,从而便于对模型和生成代码进行测试和验证。这种集成有助于保持模型行为与实现的代码之间的一致性,从而确保从模型到代码的转换不会引入错误。
主题
- 代码覆盖率测试生成
此示例说明如何使用 Simulink® Design Verifier™ 生成测试用例以获得完整代码覆盖率。
- 为 Embedded Coder 生成的代码生成测试用例
概述了为生成的代码生成测试用例的过程。
- 验证组件的代码生成
此示例使用
slvnvdemo_powerwindow
模型来展示如何在包含该组件的模型上下文中验证该组件。在完成此示例的过程中,您将使用 Simulink Design Verifier 组件验证函数来创建测试用例并测量引用模型的覆盖率。此外,您可以使用代码生成验证 (CGV) API 在仿真模式和软件在环 (SIL) 模式下执行参考模型。 - S-Function 和 C/C++ 代码的支持限制和注意事项
描述 Simulink Design Verifier 中 S-Function 和生成代码的限制和注意事项。