This paper proposes an approach to data flow testing for components using model checking.
提出了一种用模型检验进行构件数据流测试的方法。
The data flow testing of class is analysed, and the data definition-use pair is explanated.
分析类的数据流，说明数据的定义-使用对；给出构造类的控制流图的一种算法。
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.
测试客户端为定义和保存测试数据提供了一种简洁的方式，在执行早期的消息流功能测试时，它最有价值。
Testing of a message flow is an essential part of the overall development process.
消息流的测试是整个开发过程中的重要部分。
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提供了丰富的开发、测试和文档功能，例如：调试、受控的执行流、交叉引用工具和报告工具。
Flow port support during testing.
测试期间的流端口支持。
Testing helps you find problems with the flow before you generate the VoiceXML code.
测试有助于您在生成voicexml代码前发现流尚存在的问题。
Step 7: Testing your control flow.
步骤7：测试控制流。
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具有一个单元测试架构，非常适合测试您所构建的这个中介流。
Figure 8: Process flow for testing completion of a task.
图8：测试任务完成的过程流。
The test Client has done this by looking at the flow you configured for testing.
TestClient通过查看为了进行测试而配置的流来完成该任务。
This is not required to develop custom mediations, but the Web Services Explorer will be used when testing the flow.
对于开发自定义中介而言，并不需要这样做，但在对流进行测试时将使用WebServicesExplorer。
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为所有信息流开发和测试任务提供完整支持。
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为所有信息流开发和测试任务提供完整支持。
应用推荐