实现缺失覆盖率
识别缺失并生成全面的测试
使用 Simulink® Design Verifier™ 可识别和处理在初始仿真或验证之后仍未测试到的模型或生成代码部分。它会自动生成针对这些未覆盖元素的额外测试输入，从而增加整体模型覆盖率。
通过识别和测试未测试到的逻辑路径，这有助于符合要求高结构覆盖率的标准（例如 ISO 26262、DO-178C 和 IEC 61508）。
主题
实现缺失覆盖率
- 何时扩展现有测试用例
解释何时扩展现有测试用例以创建完整的测试套件。 - 定义和扩展现有测试用例
此示例展示了 Simulink® Design Verifier™ 如何使用额外的时间步扩展测试用例，以有效地生成完整的测试套件。 - 使用时态逻辑扩展模型的测试用例
扩展现有的测试用例来分析使用时间逻辑的模型。 - 扩展闭环系统测试用例
扩展现有的测试用例来分析模型中的闭环系统。 - 扩展现有测试套件
此示例说明如何使用 Simulink® Design Verifier™ 扩展现有测试套件以获得缺失模型覆盖率。 - 通过重用模型表示来扩展现有测试用例
通过重新使用模型表示来重新分析模型。 - 应用参数配置后扩展现有测试用例
此示例展示了如何应用参数配置后，通过扩展现有的测试用例来实现缺失覆盖率。 - 对大型模型进行分析
描述分析大型模型的技术。 - 在 RLS 生成代码中实现缺失覆盖
此示例向您展示如何使用 Simulink® Design Verifier™ 生成实现全覆盖率的测试用例。如果您在软件在环 (SIL) 仿真模式下仿真可重用库子系统 (RLS) 的框架，则会报告 RLS 生成代码的覆盖率。使用 Simulink® 测试管理器™，您可以通过以下步骤轻松实现全面覆盖率： - 在自定义代码中实现缺失覆盖率
此示例向您展示如何测试自定义代码中缺失的覆盖率。您还可以使用这些步骤来测试外部 C 代码中缺失的覆盖率。如果您通过 C Caller 模块、C Caller Library 或 coder.ceval 函数使用自定义代码仿真模型，则会报告自定义代码的覆盖率。如果代码没有实现全覆盖率，可以使用 Simulink® Design Verifier™ 生成实现全覆盖率的测试用例。然后，您可以使用 Simulink® 测试管理器™ 仅为自定义代码生成测试用例来执行单元测试。 - 在参考模型中实现缺失覆盖
获取引用模型中缺失的覆盖率数据，并将其与顶层模型的覆盖率数据相结合。 - 在闭环仿真模型中实现缺失覆盖
在闭环仿真模型中实现缺失覆盖率数据。
