1) Component Verification
构件验证
1.
The Research of Software Testing Technology and Software Component Verification;
软件测试技术及软件构件验证的研究
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系统进行硬件验证和验证中的关键技术:抽象技术、层次化验证技术进行研究。
6) validation suite
验证套件
补充资料：Al-Li合金构件——歼7-II飞机舱口盖及副翼扰流片
Al-Li合金构件——歼7-II飞机舱口盖及副翼扰流片
Al—Ll合金构件——歼7一I 1机舱口盖及副翼扰流片 张自供稿
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条