1) Validator-control
验证控件
2) software verification
软件验证
1.
ODA software verification;
光学设计自动化软件验证技术概述
2.
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
3) verification condition
验证条件
4) hardware verification
硬件验证
1.
ANSI-C bounded model checker and hardware verification using CBMC;
ANSI-C语言的有界模型检测及其在硬件验证中的应用
2.
The traditional verification methods are: simulation, testing and emulation, but these methods are not complete, formal verification methods are used into hardware design, then formal hardware verification technology is produced.
随后对用HOL系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
5) Component Verification
构件验证
1.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
补充资料：验证
验证——
验证是指对证券委托买卖的合法性和同一性进行审查。验证的合法性审查包括投资主体的合法性和投资程序的合法性。程序合法性审查是指委托程序必须根据交易场所规则进行。同一性审查是指委托人、证件与委托单之间的一致性的审查，包括委托人与所提供证件一致及证件与委托单一致两个方面。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条