1) dynamic verification
动态验证
1.
At present,workflow management systems have not sufficiently dealt with the issue of time,In order to predict intervals of activities and verify temporal constraints at run-time,a novel approach for dynamic verification of temporal constraints is proposed.
目前,工作流管理系统不能有效的处理时间管理问题,为了动态预测活动发生的时间间隔,验证时间的一致性,预知潜在的时间冲突,首先建立基于时间Petri网的扩展工作流网(XTWF-net),然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则,并采用面向对象技术实现了预测算法,最后给出了动态验证的方法和决策策略。
2) Dynamic performance validation
动态性能验证
4) verification mode
验证模态
5) Dynamic-verifier
动态口令验证因子
1.
A Dynamic-verifier Based Authenticated Key Exchange Protocol;
基于动态口令验证因子认证的密钥交换协议
6) automatic verification
自动验证
1.
The principle and implementation of automatic verification, which provides a novel way to overcome the inherent limitation of simulation are presented.
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中给出自动验证原理及其实现，并以化工过程控制中的应用实例对整个过程作了介绍。
2.
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
补充资料：DVT 设计验证(Design Verification Testing)
以测试产品的功能性为主，通常还包含Debug。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条