1) validation,validate,validating
正确性确认、验证,(名词)验证、(动词)验证、(动名词)验证
2) correctness verification
正确性验证
1.
Modeling and logical correctness verification of Web service processes;
Web服务过程建模及其逻辑正确性验证
2.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
3.
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
3) Verification
[英][,verifi'keiʃən] [美][,vɛrɪfɪ'keʃən]
正确性验证
1.
However,the research on these emerging technologies is far from mature,such as how to compose web service,to realize automatic composition,composition verification and so on.
然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等。
4) Verification and validation
验证与确认
1.
The key issue arising from digitalization of the reactor protection system for nuclear power plant is how to carry out verification and validation(V&V),to demonstrate and confirm the software that performs reactor safety functions is safe and reliable.
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。
5) verification and validation
验证和确认
1.
Model verification and validation for radioactive consequence assessment is an urgent and key problem to be solved in the development of assessment model at present.
放射性后果评价模式的验证和确认是目前开发评价模式中亟待解决的关键司题,本文介绍了模式验证和确认的实用方法,并针对模式验证和确认中的难点提出几点建议。
6) Verification、Validation & Accreditation (VV&A)
校验、验证和确认
补充资料：软件正确性验证
软件正确性验证
verification of software correctness
ruQnlian zhengquexing yanzheng软件正确性验证(verifica‘ion of sofcorrectuess)研究验证计算机软件止的理论和方法。又称程序正确性验证。统的程序调试方法试图发现程序中的不同，程序正确性验证的基本思想是证明数学定理一样来证明程序的正句程序正确性验证大体上分为两步:首步数学工具严格地描述待验证的程序，该程序所要实现的目标;然后，在相形式系统中，证明该程序是否正确地了所期望的目标。其数学基础，主要辑、代数、范畴论和自动机理论;其方法，有以数学演绎为基础的定理证法和以有穷模型__L搜索为基础的模型方法。1969年出现了程序验证的公理妥经过数十年的努力，程序正确性验证得到了长足的发展，陆续建立了自动自动的程序验证系统，用于验证计算件的正确性。这些程序验证系统，在检件(协议)设计中的错误和隐患方面发挥用。模型检验方法，己成功地应用于自证具有10，00以上状态数的系统。计算件正确性验证已逐步走向实际应用。 (陈火旺王︸胜准眼洞陈用吸哟觑逻凄防脸先贻伴漱漱作脸漱|
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条