一 个建立在此基础上的更系统的分类法，是将数据挖掘按知识发现的两种驱动因 素：验证驱动（Verification-driven）与发现驱动（Discovery-driven）进行分类， 将数据挖掘分类为“验证驱动型”数据挖掘与“发现驱动型”数据挖掘。
基于8个网页-相关网页
Coverage-driven Verification 覆盖驱动验证 ; 基于覆盖率的验证 ; 覆盖驱动型检验 ; 涵盖率驱动式验证
Model-Driven Verification 模型驱动验证
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.
目标制导的反向验证方法使用反向推理机制，能够缩小攻击路径的搜索空间，有利于提高效率。
应用推荐