主要内容

缺少覆盖范围

筛选覆盖率结果并解决差距

为了将您的覆盖结果集中在您想要测试的设计方面,您使用过滤器来排除元素或证明您不打算执行的不满意的结果。剩余的覆盖率差距可能表明测试不足、缺少需求或不正确的实现。为了解决这些覆盖差距,您可以创建额外的测试,扩展现有的测试,细化需求,或者编辑您的模型。

slcoverage。BlockSelector 为覆盖率过滤器选择块
slcoverage。CodeSelector 为覆盖率筛选器选择自定义C或c++代码
slcoverage。过滤器 覆盖过滤器集
slcoverage。FilterRule 创建覆盖率筛选规则
slcoverage。MetricSelector 选择覆盖过滤器的度量准则
slcoverage。选择器 获取所有类型的选择器
slcoverage。SFcnSelector 选择s函数准则作为过滤规则

主题

排除或证明覆盖结果

解决测试和需求差距