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.
分析类的数据流，说明数据的定义-使用对；给出构造类的控制流图的一种算法。
Now, the common used methods of classes testing are state -based testing and data flow testing.
当前，类测试常用的方法是基于状态的测试和数据流测试。
But because of the infeasible statements and paths in some programs, most data flow testing criteria are not applicable.
但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行。
The test client provides a neat way of defining and saving test data, which is most useful when performing early message flow functional testing.
测试客户端为定义和保存测试数据提供了一种简洁的方式，在执行早期的消息流功能测试时，它最有价值。
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.
可以再次调用已定义的测试数据，极大地提高了工作效率，并且可以使得测试工作更加一致，提高了消息流质量。
The framework provides utility classes that can be used for testing content rendering, navigation and data flow.
Wicket框架提供的实用工具类可以测试内容渲染、导航和数据流。
After testing, the Data Flow information monitoring system satisfies the design demand and runs very well. It attains its goals completely.
经过测试，数据流信息监测系统完全满足设计要求，并且运行效果良好，达到了设计目的。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
A composite class testing model can provides data flow analyzing in state-based testing.
提出了一种混合类测试模型，能在基于状态的测试中提供有效数据流分析。
The testing method and data processing procedure for random load on the transmission system of a BED type ball mill with straight flow are presented.
介绍了直燃式双进双出钢球磨煤机传动系统随机载荷的测试方法及数据处理步骤。
Using power function to describe the production rate, pressure and translating them into laplace space, the early time testing data of the pumping well can be modified to the radio flow period.
利用幂函数描述产量与压力值，并通过拉氏变换进行校正，可将抽油井测压早期段数据校正到径向流段，从而大大缩短抽油井测压时间。
It can collect the pressure and the flow by da (data acquisition) system during testing, also can sample and analysis the grain size of the flow after controlled sand.
使用数据采集系统实时采集试验过程中的压力、流量数据，同时对筛管防砂后的流体采样，并进行粒度分析。
The inverter testing is a complicated process, and it needs a huge hardware system. The I/O data of the testing software depends on the hardware while the function and the flow depend on the object.
变频器测试是一个复杂的过程，测试软件数据的输入输出依赖于硬件，功能和流程则依赖于对象，存在软件开发周期长和维护、修改困难的问题。
Class is the basic unit in object-oriented test. Generally, class test can be divided into the testing way based on data flow and the testing way based on object states.
类是面向对象测试的基本单元，类测试一般分为基于数据流的测试方法和基于对象状态的测试方法。
According to the regulation of high speed data flow jumping in network testing devices, a universal high speed data flow jumping algorithm is presented based on VHDL.
根据网络测试设备的数据流跳变规则，提出了一种基于VHDL描述的高速数据流跳变通用算法。
After taking brief account of large flow meters testing, the article describes the importance of gas meters testing, cleaning, repairing in combination with test data and test analysis.
文章介绍了大流量燃气表检定的概况，用检定数据及分析说明了燃气表检定、清洗、维修的重要性。
So it is value to research on the method for determining the flow potential of gas well by destabilization well testing data.
因此研究用不稳定试井资料确定气井产能的方法具有重要的实际意义。
The paper studied stable seepage flow rule of overpressure reservoir and created the method for using systematic well testing data to compute permeability variation coefficient.
本文研究了异常高压油藏稳定渗流规律，建立了利用系统试井资料求取渗透率变化系数的方法。
In some ways of interpreting complicated well testing data such as multiple phase flow, producing pattern, complicated border and heterogeneous oil reservoir, this theory has a particular advantage.
在解释多相流、开发井网、复杂边界和非均质油藏等复杂性试井资料方面，具有独到的优势。
Combing with the technologies of data softness, automatic and history imitate, the well testing software for Non-Darcy percolation flow in low permeability reservoirs compiled.
结合数据光滑、曲线自动拟合和历史拟合技术，编制了低渗非达西渗流的试井软件。
All parameters used in the flow stress models were calculated based on testing data.
根据实验结果计算模型中各参数。
All parameters used in the flow stress models were calculated based on testing data.
根据实验结果计算模型中各参数。
应用推荐