覆盖率相关知识

一 参考

覆盖率验证——代码覆盖率+功能覆盖率_SD.ZHAI的博客-优快云博客https://blog.youkuaiyun.com/weixin_46022434/article/details/105451642#:~:text=1%204.1.%E9%80%9A%E8%BF%87%E4%BF%AE%E6%94%B9%E9%9A%8F%E6%9C%BA%E5%8C%96%E6%AC%A1%E6%95%B0%E2%80%94%E2%80%94%E6%8F%90%E9%AB%98%E8%A6%86%E7%9B%96%E7%8E%87%EF%BC%88%E8%A6%86%E7%9B%96%E7%82%B9%E5%8F%98%E9%87%8F%E5%8F%96%E5%80%BC%E8%8C%83%E5%9B%B4%E5%B0%8F%EF%BC%89%202,4.2.%E9%80%9A%E8%BF%87%E6%B7%BB%E5%8A%A0%E7%BA%A6%E6%9D%9Fconstraint%E3%80%81%E8%87%AA%E5%AE%9A%E4%B9%89bins%E2%80%94%E2%80%94%E6%8F%90%E9%AB%98%E8%A6%86%E7%9B%96%E7%8E%87%EF%BC%88%E8%A6%86%E7%9B%96%E7%82%B9%E5%8F%98%E9%87%8F%E5%8F%96%E5%80%BC%E8%8C%83%E5%9B%B4%E5%A4%A7%EF%BC%89%203%204.3.%E9%80%9A%E8%BF%87%E6%9D%83%E9%87%8Ddist%E2%80%94%E2%80%94%E8%B0%83%E6%95%B4hit%E6%AC%A1%E6%95%B0%E5%88%86%E5%B8%83

二 基于覆盖率驱动的验证技术

采用覆盖率驱动的验证方式可以量化验证进度，保证验证的完备性。一般在验证计划中会指定具体的覆盖率目标。通过覆盖率验证可以确定验证是否达到要求。当然，达到目标覆盖率并不意味着验证就通过了，因为功能覆盖率是由人为定义的，有时候即便达到100%，也未必将所有的功能场景全部覆盖了，因为人为主观定义的功能场景有时候可能存在遗漏，所以还需要对测试用例进行迭代
 

三 代码覆盖率与功能覆盖率

1 功能覆盖率 

是一种用户定义的度量，主要是衡量设计所实现的各项功能，是否按预想的行为执行，即是否符合设计说明书的功能点要求，功能覆盖率主要有两种如下所示：

• 面向数据的覆盖率（Data-oriented Coverage）-对已进行的数据组合检查.我们可以通过编写覆盖组（coverage groups）、覆盖点（coverage points）和交叉覆盖（cross coverage）获得面向数据的覆盖率.
•  面向控制的覆盖率（Control-oriented Coverage）-检查行为序列（sequences of behaviors）是否已经发生.通过编写SVA来获得断言覆盖率(assertion coverage).