芯片验证的Testcase设计方法

本文主要介绍以下几个方面：

1、如何评价测试完成

2、如何设计一个测试用例

    2.1、等价类分析

    2,2、边界分析

    2.3、因果关系分析

    2.4、错误猜测分析

测试结果量化-白盒测试

首先，从心理学上，如果没有目标，我们的任务执行就会大打折扣。那么，我们如何评价我们已经完成了测试呢？从黑盒角度，我们可以分析我们所有的用例已经执行并且PASS了，但是这粒度非常粗略，不够可靠，我们需要白盒的分析手段来表征我们的测试到达能够说明芯片足够可靠，能够完成预期功能和达到预期性能。

因为白盒分析即通过代码覆盖率表征验证程度，相对来说比较客观，然后考虑到相关RTL实现逻辑的功能覆盖率也是一种白盒分析手段。

白盒测试是关注测试用例覆盖芯片逻辑的程度。最终的白盒测试是覆盖芯片中的每个状态。但对于大多数的芯片，完全意义上的全空间覆盖是不现实的。

那么白盒测试的状态通过什么指标表征呢？

一个值得追求的基本目标是至少执行RTL代码中的每一条语句。不幸的是，这是一个很弱的标准。

从软件测试看白盒代码覆盖率