永利皇宫官网网址

coverage calculation formula

上一篇 / 下一篇  2016-08-10 22:55:02 / 个人分类:验证杂谈

Coverpoint

Weighted coverage (Actual goal / Target goal) 
where,
-  Target goal  is the value set using the  goal  option. If not set, 90 is assumed.
-  Actual goal  is  (Covered bins / Total bins) * 100 . The value displayed is rounded off.
-  Weighted coverage  is the normalized positive number <= 1,
which is calculated as  Actual goal / Target goal

Covergroup 

Weighted coverage (Actual goal / Target goal) 
where,
- Target goal  is the value set using the  goal  option. If not set, 90 is assumed.
-  Actual goal  is calculated as:
((weight_of_cov_item_1*(hit%_of_cov_item_1) + weight_of_cov_item_n*(hit%_of_cov_item_n)) / (weight_of_cov_item_1 + weight_of_cov_item_n)
where, 
cov_item  includes all the coverpoints and crosses in the covergroup.
hit%_of_cov_item  is  (Covered bins / Total bins) * 100
-  Weighted coverage  is the normalized positive number <= 1, which is calculated as  Actual goal / Target goal
Note: The weight can be set either using the type_option keyword or using the option keyword. 

Data-oriented coverage

Cumulative coverage (Weighted total coverage / Weighted total goal) 
where,
-  Weighted total goal  is  sum_of_weight_of_all_covergroups * 100 .
-  Weighted total coverage  is calculated as:
(weight_of_covergrp_1 * actual_goal_of_covergrp_1)  +(weight_of_covergrp_n * actual_goal_of_covergrp_n)
-  Cumulative coverage  is the normalized positive number <= 1,Weighted total coverage / Weighted total goal


TAG:

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

日历

« 2019-01-21  
  12345
6789101112
13141516171819
20212223242526
2728293031  

数据统计

  • 访问量: 98471
  • 日志数: 246
  • 建立时间: 2016-03-25
  • 更新时间: 2017-05-19

RSS订阅

Open Toolbar