2020-07-30

代码，功能，用例(metreics)
mdv CDV （验证流程）

directed-test Drive：直接给dut施加激励，然后判断DUT输出是否正确，来验证DUT的各个功能，但是带来的问题，验证不能完备，会遗漏很多隐藏的bug。
coverage drive verfication（cdv）：基于coverage，施加激励，然后最后收集coverage，来判断功能验证是否完备，但是带来的问题是，编写coverage可能会遗漏，造成验证不能完备，并且很难去预估验证是否完成。
metric drive(mdv)：是目前新提出的功能验证方法学。基于验证计划的各个feature，施加激励，最后收集各个feature的metric，反标到验证计划中，得到可视化结果，从而确定验证是否完备。
需求来源：用户需求，研制规范，时序文档，寄存器文档需求—>vplan
需求分解—>功能点—>用例功能点（需求到功能点的映射）：输入，输出，处理过程（ipo）
随机用例（合理空间内），定向用例（特定场景）cover point
序列预定义函数