This paper proposes an approach to data flow testing for components using model checking.
提出了一种用模型检验进行构件数据流测试的方法。
Present the macro cycle grouting plan, resolve the flow testing problem of the cycle grouting.
提出了大循环灌浆方案，很好地解决了循环式灌浆的流量检测问题。
Now, the common used methods of classes testing are state -based testing and data flow testing.
当前，类测试常用的方法是基于状态的测试和数据流测试。
In this paper, it researched the flow testing methods for micro-flux while drilling under the well.
本文对井下随钻微流量测试方法进行了研究。
However, according to short core acid flow testing, higher concentration acid is helpful to increasing permeability.
但短岩心酸化流动试验结果为：加大酸液浓度和用酸强度有利于提高酸化效果。
But because of the infeasible statements and paths in some programs, most data flow testing criteria are not applicable.
但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行。
This article has outlined some message Broker V6.1 features aimed at minimizing the need for message flow testing and redeployment.
本文概括了MessageBrokerV6.1的一些旨在最小化消息流测试和重新部署需要的功能。
In order to clarify the potential factors of formation damage in Wei 11-1 oilfield. A core flow testing device is used to study the reservoir sensitivity in the oilfield.
为了弄清和掌握涠11 - 1油田储层损害的潜在因素，应用岩心流动试验装置研究了涠11 - 1油田储层的敏感性。
A new multiphase flow metering model named flume-flow model was presented based on theoretical and experimental studies of multiphase fluid mechanics and multiphase flow testing.
在多相流体力学和多相流测量方面大量的基础理论研究和实验研究的基础上，提出了全新的明渠流模型等多个流量计测模型用于多相流量计量。
If one considers the flow of a scenario through testing, we can construct a set of checkpoints, an example of which is shown in Table 1.
如果有人考虑通过测试的场景的流程，我们可以考虑构造一组检查点，表1中所显示的一个实例。
The ability to recall a defined set of test data provides a significant productivity boost, and can help make testing more consistent, adding to message flow quality.
可以再次调用已定义的测试数据，极大地提高了工作效率，并且可以使得测试工作更加一致，提高了消息流质量。
This is difficult to predict in advance and is best to identify it with early testing of the actual message flow.
预先预测它是困难的，最好在实际消息流程的早期测试中把它搞清楚。
The developer made extensive use of the interactive debugger during the development and testing of the message flow.
开发人员在消息流的开发和测试期间大量使用了交互调试程序。
The test client provides a neat way of defining and saving test data, which is most useful when performing early message flow functional testing.
测试客户端为定义和保存测试数据提供了一种简洁的方式，在执行早期的消息流功能测试时，它最有价值。
You are going to test two scenarios: one for testing message flow security functions using the identity extracted from the HTTP header.
您将测试两个场景：一个使用从HTTP报头中提取的身份测试消息流安全性功能。
BRMS provides rich development, testing, and document features such as: debugging, controlled execution flow, cross-reference tools, and reporting tools.
BRMS提供了丰富的开发、测试和文档功能，例如：调试、受控的执行流、交叉引用工具和报告工具。
Testing helps you find problems with the flow before you generate the VoiceXML code.
测试有助于您在生成voicexml代码前发现流尚存在的问题。
The framework provides utility classes that can be used for testing content rendering, navigation and data flow.
Wicket框架提供的实用工具类可以测试内容渲染、导航和数据流。
WebSphere Integration Developer has a unit test infrastructure that's ideal for testing the mediation flow you've just built.
WebSphereIntegrationDeveloper具有一个单元测试架构，非常适合测试您所构建的这个中介流。
This is not required to develop custom mediations, but the Web Services Explorer will be used when testing the flow.
对于开发自定义中介而言，并不需要这样做，但在对流进行测试时将使用WebServicesExplorer。
Also, I enjoyed the teaching method I had experienced her, it was progressive, so testing wasn't as important as the free flow of ideas back and forth between teacher and student.
并且，我非常喜欢这里先进的教学方法，师生之间自由的思想交流比考试重要得多。
After having researched and implemented those key functions, this thesis proposes the general design, implementation and testing result of IPNM flow monitoring subsystem.
在研究和实现了这些关键功能之后，本文给出了IPNM流量监测子系统的总体设计、实现和测试的结果。
Broker Explorer is not an application development tool. Instead, WebSphere message Broker Toolkit offers full support for all message flow development and testing tasks.
BrokerExplorer不是一个应用程序开发工具，而WebSphereMessage BrokerToolkit为所有信息流开发和测试任务提供完整支持。
The pulsate pressure in high speed flow water will influence the safety of water construction, and the eigenvalue of the pulsate pressure should be confirmed by hydraulic model testing.
高速水流中的水流脉动对水工建筑物的安全运行存在很大的影响，水流脉动压强的特征值一般需通过水工模型试验确定。
On the basis of analyzing the software testing model and software testing flow, this paper summarizes the principle of software testing manage, and applies it in the project.
在分析软件测试模型和软件测试流程的基础上，总结测试管理原则，并将其应用于工程实践中。
The calculation command control method and testing flow for structural pseudo-dynamic testing were described in detail.
以结构拟动力试验为例，详细说明了基于计算命令控制试验系统的建立方法及试验流程。
The output pressure-flow curve was obtained by testing the electronic control hydrostatic driving system, which confirmed the characteristic of constant power.
通过对火炮电控静压驱动系统的实测试验，获得了输出压力—流量曲线，验证了恒功率特性。
The output pressure-flow curve was obtained by testing the electronic control hydrostatic driving system, which confirmed the characteristic of constant power.
通过对火炮电控静压驱动系统的实测试验，获得了输出压力—流量曲线，验证了恒功率特性。
应用推荐