类簇控制依赖信息是进行类间数据流测试的基础。
The control dependency information of class cluster is the foundation of inter-class dataflow testing.
提出了一种用模型检验进行构件数据流测试的方法。
This paper proposes an approach to data flow testing for components using model checking.
当前,类测试常用的方法是基于状态的测试和数据流测试。
Now, the common used methods of classes testing are state -based testing and data flow testing.
这可能需要对数据流规范进行反复的细化,并在测试环境中应用该规范以证实其正确性。
This can require iterative refinements of the data-flow specification and applying the specification in test environments to prove the correctness.
您可以在组件中添加自定义代码,以监视通过模块的数据流,但在这些情况下,您会发现使用集成测试客户端中的附加模式更容易。
You could add custom code in the components to monitor the data flow through your module, but you might find it easier in these cases to use the attach mode in the integration test client.
这样便于多次测试数据流。
This enables you to easily test the data flow multiple times.
这样便于多次测试数据流。
This will enable you to easily test the data flow multiple times.
现在可以遵循下面的标准DesignStudio过程来测试数据流。
Now you can test your data flow following the standard Design Studio process.
Wicket框架提供的实用工具类可以测试内容渲染、导航和数据流。
The framework provides utility classes that can be used for testing content rendering, navigation and data flow.
两个数据流已经开发并测试完了,现在可以构建一个以正确次序执行它们的控制流。
With your two data flows developed and tested, you're ready to build a control flow that executes these in the correct order.
单元测试强调内部结构,例如逻辑和数据流,以及单元的功能和外部可见行为测试。
Unit testing addresses the internal structure, such as logic and dataflow, and the testing of functions and the externally visible behavior of the unit.
步骤5:测试数据流。
现在GMRC正在构建一个模拟蜂窝网络,用于测试移动射频设备、基带及IP数据流。
Now GMRC is creating a cellular network emulator for testing mobile RF device, baseband and IP data traffic flows.
但在通常情况下,由于程序中不可执行的语句或路径的存在,使得基于数据流的测试准则不可行。
But because of the infeasible statements and paths in some programs, most data flow testing criteria are not applicable.
经过测试,数据流信息监测系统完全满足设计要求,并且运行效果良好,达到了设计目的。
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 method consists of two parts, control structure generation and data flow generation.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
类是面向对象测试的基本单元,类测试一般分为基于数据流的测试方法和基于对象状态的测试方法。
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.
根据网络测试设备的数据流跳变规则,提出了一种基于VHDL描述的高速数据流跳变通用算法。
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.
实验中我们首先测试凝聚算法对网络数据流的聚类能力;
Firstly we tested the clustering ability to the network data packet of Cluster Arithmetic.
实验中我们首先测试凝聚算法对网络数据流的聚类能力;
Firstly we tested the clustering ability to the network data packet of Cluster Arithmetic.
应用推荐