功能覆盖率:用来衡量哪些设计特征已经被测试程序测试过的一个指标
首要的选择是使用更多的种子来运行现有的测试程序;其次是建立新的约束,只有在确实需要的时候才会求助于定向测试
(1)通过改变随机种子,就可以反复运行同一个随机测试平台来产生新的激励;每次仿真都会产生一个带有覆盖率信息的数据库,将这些信息合并在一起可以得到功能覆盖率。
(2)如果覆盖率增速减缓,需要添加额外的约束来产生更多的激励;当覆盖率稳定下来,而设计的某些设计尚未被测试过,这时需要创建更多的新的测试,
(3)最后在功能覆盖率接近100%时检查错误率
1、代码覆盖率:测试对于设计规范的实现究竟测试得多彻底,而非针对验证计划;(多少行代码已经被执行过(行覆盖率),在穿过代码和表达式中的路径中有哪些已经被执行过(路径覆盖率),单比特变量的值是0或1(翻转覆盖率),状态机中有哪些状态和状态转换被访问过(有限状态机覆盖率)
2、功能覆盖率:和设计意图紧密相连,而代码覆盖率是衡量设计的实现情况。如果某个代码块在设计中被漏掉的情况,代码覆盖率不能发现这个错误,但功能覆盖率可以。
3、漏洞率
4、断言覆盖率:断言是用于一次性或在一段时间内核对两个设计信号之间关系的声明性代码;可以跟随设计和测试平台一起仿真,也可以被形式检查工具所证实。(断言最常见于查找错误,例如两个信号是否互斥或者请求是否被许可;一旦检测到问题,仿真就会立刻停止。断言也可以用于检查仲裁算法、各种FIFO以及其他硬件,这些情况使用assert property语句)
一个简单对象的功能覆盖率