2) File System Property Verification
文件系统性质验证
3) 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.
为此,人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
4) verification condition
验证条件
5) 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系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
6) Component Verification
构件验证
1.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
补充资料：DVT 设计验证(Design Verification Testing)
以测试产品的功能性为主，通常还包含Debug。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条