测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于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.
除了产生应用程序流之外,在测试自动控制工作中的另一项主要任务是验证终端屏幕上的应用程序数据和消息。
Besides making the application flow, another major task in test automation is to validate various application data and messages on the terminal screen.
测试客户机是随websphereMessageBroker工具包一起提供的一种工具,它为您提供用于管理和控制消息流测试的工具。
The test Client is a tool that is shipped within the WebSphere message Broker Toolkit and provides a facility that allows you to manage and control message flow tests.
两个数据流已经开发并测试完了,现在可以构建一个以正确次序执行它们的控制流。
With your two data flows developed and tested, you're ready to build a control flow that executes these in the correct order.
但是正如那些被测试者所强调的,当收入不仅仅是低,而且不稳定也不可预测时,控制现金流更为至关重要。
But as many of the subjects emphasised, controlling the flow of cash becomes all the more critical when income is not just low, but also unpredictable and irregular.
仿真结果较为理想,模型算法能够基本反应整流器系统主要电量的变化规律,满足变流控制装置的开发测试要求。
The experiment results show that the model basically reflects the main electrical regularity of the rectifier system and can satisfy the requirements on testing the hardware controller.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
In the process of analyzing, it adopts synthetically control flow chart and path condition and increase the precision of testing results.
类簇控制依赖信息是进行类间数据流测试的基础。
The control dependency information of class cluster is the foundation of inter-class dataflow testing.
高压井口电缆密封控制系统可在不泄流、不放压,维持井内正常注水条件下进行密闭测试。
The wellhead high pressure wireline control system can conduct close-in tests without bleeding off fluid and pressure, and keeping normal subsurface water injection.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
In the process of analyzing, it adopts synthetically control flow chart and path condition in order to increase the precision of testing results.
基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。
Based on the static analysis method of source codes, the automatic testing method for controlling stream graph was pro-posed to detect the faults in programs.
文章分析和设计了一种具有较高电流控制精度和匹配精度的并联白光led驱动芯片,并在成功流片后进行了测试。
A high precise parallel white LED driver with finer current control precision and matching precision is analyzed and designed in the thesis. And the chip was tested after taped out successfully.
文章分析和设计了一种具有较高电流控制精度和匹配精度的并联白光led驱动芯片,并在成功流片后进行了测试。
A high precise parallel white LED driver with finer current control precision and matching precision is analyzed and designed in the thesis. And the chip was tested after taped out successfully.
应用推荐