通过触发器强制执行自动验证。
研究铁路系统的自动验证技术。
This paper presents automatic verification techniques for railway systems.
自动验证并显示所下载程序的标识。
Automatically verifies and displays the identity of programs you download.
不过，同时还可能定义了执行自动验证的触发器。
However, there can also be a trigger defined to do the automatic validation.
创建强制执行自动验证的BEFORE触发器语句。
Creating a BEFORE trigger statement to enforce automatic validation.
该类用于为模拟容器创建一个可自动验证的虚拟用户。
This class is used to create a dummy user for the mock container, which is automatically validated.
可以通过以下方式对进入的XML文档执行自动验证。
Automatic validation on incoming XML documents can be enforced as follows.
自动验证用户定义的监测集能实现有用和有意义的监测。
Automatically verifying that the monitor sets a user defines will accomplish useful and meaningful monitoring.
我不喜欢在把模型传入控制器的时候总是要经过自动验证。
I prefer not to have my models automatically validated when they're passed into a controller action.
上下位关系的自动验证是知识获取中的一个关键问题。
Automatic verification of hyponymy relations is a basic problem in knowledge acquisition from text.
此外，IT部门创建了一个新服务，可以自动验证申请中的内容项。
In addition, the it department has created a new service to automatically validate line items in a request.
可以在需要时验证XML文档，或在保存文档时自动验证。
You can validate an XML document on demand or automatically when you save the document.
在流程的将来版本中(图3)，将尝试使用一个新任务自动验证请求。
In the To-Be version of the process (Figure 3), a new task attempts to automatically validate the request.
为了便于自动验证高层综合过程，给出了验证自动机模型。
The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
当.NET加载程序集时，运行时会自动验证调用者是否合法。
When . NET load an assembly, the runtime can verify that the assembly came from the publisher that the caller is expecting.
针对XML的触发器支持允许使用XMLVALIDATE函数实现自动验证。
The trigger support for XML allows the use of XMLVALIDATE function to implement automatic validation.
在原有流程中(图16)，在自动验证数据之后，高速打印机将打印物理检查。
In the As-Is process (Figure 16), after automatically validating the data, a high-speed printer prints a physical check.
自动验证是由触发器语句的操作部分通过XMLVALIDATE函数完成的。
This automatic validation is done in the action part of the trigger statement using the XMLVALIDATE function.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
NET网页将自动验证恶意用户没有尝试将脚本发送给您的应用程序。
NET Web pages automatically validate that malicious users are not attempting to send script to your application.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
例如，目前不可能实现对多个模拟电路的自动验证，因为每个电路都是不同的。
It's currently not possible, for example, to automate verification on multiple analog circuits because each circuit is different.
对于垃圾邮件的过滤，有一种主动性相当强的技术，我想称之为“白名单加自动验证”方法。
A fairly aggressive technique for spam filtering is what I would call the "whitelist plus automated verification" approach.
向数据绑定控件中添加动态行为，如自动验证以及数据字段的自定义外观和行为。
Adding dynamic behavior to data-bound controls, such as automatic validation and customized appearance and behavior of data fields.
DB 2 9.5引入了使用BEFORE触发器对进入的XML文档强制执行自动验证的概念。
DB2 9.5 introduced a concept of enforced automatic validation of incoming XML documents using BEFORE triggers.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
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.
我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
既然您的测试框架中包含了输入测试用例数据和执行测试用例的一般化机制，那么您就需要一个自动验证结果的方法。
Now that your testing framework contains generic mechanisms for inputting test case data and for executing the test cases, you need a way to automatically verify results.
既然您的测试框架中包含了输入测试用例数据和执行测试用例的一般化机制，那么您就需要一个自动验证结果的方法。
Now that your testing framework contains generic mechanisms for inputting test case data and for executing the test cases, you need a way to automatically verify results.
应用推荐