实现缺失覆盖率

实现缺失覆盖率

• 何时扩展现有测试用例
  解释何时扩展现有测试用例以创建完整的测试套件。
• 定义和扩展现有测试用例
  此示例展示了 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® 测试管理器™ 仅为自定义代码生成测试用例来执行单元测试。
• 在参考模型中实现缺失覆盖
  获取引用模型中缺失的覆盖率数据，并将其与顶层模型的覆盖率数据相结合。
• 在闭环仿真模型中实现缺失覆盖
  在闭环仿真模型中实现缺失覆盖率数据。