Coverage-driven Verification 覆盖驱动验证 ; 基于覆盖率的验证 ; 覆盖驱动型检验 ; 涵盖率驱动式验证
Model-Driven Verification 模型驱动验证
Verification-Driven 验证型 ; 验证驱动
The mechanism is also introduced for MATLAB reference model merged with testbench, functional coverage model define and coverage-driven verification.
并给出该方案中MATLAB参考模型与验证平台的融合，功能覆盖模型的定义以及覆盖率驱动验证机制。
To make things extra interesting (and easy) I've used easyb, a Groovy-based behavior-driven development framework that facilitates natural-language verification.
使事情更加有趣(和简单)的是，我使用了easyb，这是一个基于Groovy的行为驱动开发架构，利用自然语言验证。
The target-driven reversing verification method uses the mechanism of reverse reasoning, and reduces the searching space of attacking trace, meaning high efficiency.
目标制导的反向验证方法使用反向推理机制，能够缩小攻击路径的搜索空间，有利于提高效率。
应用推荐