实现缺失覆盖率
识别缺失并生成全面的测试
Simulink® Design Verifier™ 中的实现缺失覆盖率是指识别并解决在测试过程中未被执行的模型或生成代码的方面的过程。此功能可帮助用户自动生成测试用例来覆盖这些未测试到的部分，从而提高整体测试覆盖率并确保模型或代码的所有方面均得到验证。您可以系统地提高测试的彻底程度，使模型和代码更稳健、可靠。此过程在安全关键型行业中特别有用，因为在这些行业中，实现高覆盖率对于满足法规和质量标准至关重要。
主题
实现缺失覆盖率
- 何时扩展现有测试用例
解释何时扩展现有测试用例以创建完整的测试套件。 - 定义和扩展现有测试用例
此示例展示了 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® 测试管理器™ 仅为自定义代码生成测试用例来执行单元测试。 - 在参考模型中实现缺失覆盖
获取引用模型中缺失的覆盖率数据，并将其与顶层模型的覆盖率数据相结合。 - 在闭环仿真模型中实现缺失覆盖
在闭环仿真模型中实现缺失覆盖率数据。
