software verification and validation report 软件验证与确认报告
software verification and validation plan 软件验证与确认计划
software verification and validation review 软件验证与确认评审 ; 软件验证和确认评审
automatic software verification 自动化软件验证
Software Verification Engineer 软件验证工程师
Software verification cases and procedures 软件验证用例和规程
Software Verification Plan 软件鉴定计划
Assistant Software Verification Engineer 助理软件验证工程师
Software verification on virtual platform will be the new direction of software verification and validation.
虚拟化平台下的软件验证,将成为软件验证新的发展方向。
参考来源 - 虚拟化平台支持的目标码验证技术研究By using software verification, we can not only verify the function and performance of design, but also give some useful advice for the optimization of design, and combine verification and design tightly.
MediaSoC的软件验证不但检验了设计的功能与性能，通过验证分析，还对设计的优化提出了改进意见，把验证和设计这两大部分内容紧密结合起来。
参考来源 - 多媒体系统集成芯片的实现与验证研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Temporal logics are widely used in software verification and model checking.
时态逻辑在软件确认和模型检查中有广泛的应用。
To this end, people raise a series of concepts and theories like software reliability, software verification, software quality assurance, software testing and etc.
为此，人们提出了软件可靠性、软件验证、软件质量保证、软件测试等一系列概念和理论。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
应用推荐