Vaughn Rokosz, an IBM Rational systems verification tester, has defined the following approaches for adding test data into a system.
Vaughn Rokosz是一位IBMRational系统确认测试员，为向系统添加测试数据定义了以下的方法。
In between are the people who use formal verification tools to construct these systems.
那些使用常规验证工具建立这些系统的人们处于这两者之间。
At a high level it’ll provide simplified discovery, application, update and AIX configuration-verification properties across multiple systems.
简单地说，它将跨多个系统提供简化的发现、应用、更新和AIX 配置确认属性。
1 Decision tables offer a simple, visual aid, and they can be applied in knowledge-based systems to perform verification processes efficiently.
1决策表提供了一个简单的，可视化的帮助，它可以在知识库系统中被使用，来高效的执行验证过程。
If there is any doubt, a clean re-installation will allow verification of any rogue systems, as will booting from a LiveCD and performing package scans such as RPM — verify all.
如果还有问题，一次干净的重新安装系统将会验证任何流氓系统，还会从LiveCD启动，并执行包扫描，比如rpm—verifyall操作。
You start the verification process by clicking the Verify systems button.
单击verirysystems按钮即可启动验证过程。
Sun Microsystems also wanted to be able to run a virtual world that could connect to its own databases and user-verification systems.
Sun Microsystems也想能够运行自己的虚拟世界，用以使自己的数据库和用户验证系统相连接。
Your best bet is to build in layers of verification systems, including tests for URLs known to be promoted in spam, or by deploying an editorial team to monitor and verify contributions.
最好的办法就是构建多层检验系统，包括测试url是否来自广告商，或者配备编辑团队对贡献进行监视和检验。
Adequate enforcement and verification of closure systems is often necessary to achieve reductions in drowning rates.
要减少溺水率，往往必须适当执行和检查封闭系统。
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
UML缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
The unique factors of case-based systems (CBS) make verification and validation of CBS different from other types of artificially intelligent systems.
基于事例系统（CBS）本身的特性使得其验证和有效性不同于其它的人工智能系统。
The purpose of formal verification is to prove if the hybrid systems operate safely in all conditions.
而形式验证的目的在于检验混合系统是否在任何环境下都能安全运行。
Therefore, the formal method plays an important role as a bridge between the model simulation, verification of application systems.
因此，从软件系统的形式模拟与验证到实际的开发应用，形式化方法都起着一个重要的桥梁作用。
This paper presents automatic verification techniques for railway systems.
研究铁路系统的自动验证技术。
The security of mobile agent systems lies in the protection of confidential data, the verification of mobile agents and mobile agent platforms.
移动代理安全性体现在移动代理机密数据的保护、移动代理和移动代理执行平台的验证等。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
The paper provided the test and verification methods for internal delay of two types of data acquisition systems and gave a reference to everybody.
文中介绍了两种数据采集系统内部延迟的测试和验证方法，供大家参考。
The interface of ca and DSMS integrating with various hospital information systems (such as RIS, HIS and PACS) was realized and the security verification of system information was completed.
同时实现了与现有各种医院信息系统(如ris,HIS和PACS)的接口与集成，并完成了对其系统信息的安全验证。
Modeling, verification of system, and validation of system design are important issues of designs or developments of the complicated distributed systems.
系统建模、验证和系统设计方案的确认是复杂分布式系统工程设计与建设中的重要研究议题。
NSF-ISR, a global leader in management systems, provides verification and validation of Greenhouse Gas (GHG) inventories and projects.
NSF - ISR在管理体系服务和提供温室气体注册核查和项目审定方面居于全球领先地位。
The results also indicate that the most of the factors that impact systems integration complexity also impact quality of system verification and validation.
研究结果还表明，大多数因素影响的系统集成的复杂性也会影响质量的系统核查和验证。
Universal serial interface has advantages in steady transmission and strong antijamming, which is used widely in all kinds of systems. Function verification is a rather complex and important job.
通用串行接口由于传输稳定，抗干扰性强等优点，被广泛应用于各种系统中，但其功能验证却是一项复杂而重要的工作。
The performance of speaker verification systems is often compromised under real-world environments.
说话人确认系统的性能往往是在真实世界的环境受到损害。
The YOHO speaker verification Corpus supports development, training and testing of speaker verification systems that use limited vocabulary, free-text input.
该语音库支持使用有限词汇的非文本输入的说话人识别系统的开发、训练和测试。
Methods and systems for active non-intrusive inspection and verification of cargo and goods.
Bertozzi William：货物和货品的主动非侵入性检查和验证的方法与系统。
Methods and systems for active non-intrusive inspection and verification of cargo and goods.
Bertozzi William：货物和货品的主动非侵入性检查和验证的方法与系统。
应用推荐