• feature越细越好，可以多个testcase覆盖一个feature点，最好的是一个casetest覆盖多个feature，但是feature不能少可能会漏验。
  • 保证用例细粒度消除歧义保证完备性就行，也不用太细。
  • 开阔思路，关注于验证激励sequence而不是验证平台搭建。
  • 看spec不明白的要问DE，让他写明白，理解不一样也要让DE返工。（VE容易背锅）
  • 哪些case验证哪些feature要哦写明白。
  • spec上对于功能或者总线协议的描述越详细越好。
  • 功能覆盖率 = 已覆盖测试点数/所有测试点数（两个都是自己写的，认为因素很大）。
  • spec后是验证列表feature list，验证列表之后才是验证点提取feature point。
  • 读spec重点关注：协议/系统框架图/接口信号/寄存器文件。

验证点

  • 功能类（时钟，复位，power，寄存器访问，基本功能）
  • 白盒测试点
  • 接口类（AMBA总线接口）
  • 场景类（不同位数的校验位/不同波特率）
  • 性能类（fifo）
  • 异常类
  • 典型值（1/2，1/4等）/边界值（空满）/异常值/交叉

功能测试点分解

image

接口类测试点分解

image

设计代码上补充测试点

image