一 个建立在此基础上的更系统的分类法，是将数据挖掘按知识发现的两种驱动因 素：验证驱动（Verification-driven）与发现驱动（Discovery-driven）进行分类， 将数据挖掘分类为“验证驱动型”数据挖掘与“发现驱动型”数据挖掘。
基于8个网页-相关网页
verification-driven data mining 数据挖掘
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.
目标制导的反向验证方法使用反向推理机制，能够缩小攻击路径的搜索空间，有利于提高效率。
The mechanism is also introduced for MATLAB reference model merged with testbench, functional coverage model define and coverage-driven verification.
并给出该方案中MATLAB参考模型与验证平台的融合，功能覆盖模型的定义以及覆盖率驱动验证机制。
应用推荐