控制流测试

为了更高效地产生协议测试集，论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。

This paper presents a new method for generating conformance test suites which integrate the data flow and control flow tests .

该生成策略同时结合了数据流测试和控制流测试的优点，既具有比较高的错误覆盖率，又对通信协议中的数据部分进行了充分的测试，从而提高了一致性测试的效率。

The generation strategy combines the merits of both data flow test and control flow test , having both higher fault coverage of tests and complete test for the data part of the communication protocol so as to advance the efficiency of conformance test .

测试客户机是随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 .

既考虑数据流又考虑控制流的测试方法分析及比较

Analyses and Comparisons of Combined Control and Data Flow Method for Protocol Testing

常用的基于控制流的测试充分性准则

The Test Adequacy Criteria Based on Control Flow

给出了基于UML协作图模型生成测试用例的总体策略，包括基于协作图模型控制流结构的测试场景生成，和针对输入量的测试数据生成；

The test case generation strategy based on UML Collaboration Diagram is put forward , which consists of the generation of scenarios based on the Control Flows of Collaboration Model and the generation of basic test data from the input data .

集成数据流和控制流的协议测试集自动生成方法研究

An Automatic Test Suite Generator Based on Data-Flow and Data-selection

基于非结构化控制流的进化测试方法

Method of Evolutionary Testing Based on Unstructured Control Flow

借助于此算法，可用矩阵为工具对软件的控制流作静态测试，并可对软件流程图的非结构性作出检测。

By means of this algorithm , matrixes can be used in static test of control flow , and in the check of unstructuredness of flow chart .

本文在现有测试理论发展的基础上，通过状态约束机制和数据流、控制流结合生成测试序列的方法，在一定程度上缓解了这两个问题。

This paper proposes state constraint mechanism to tackle the state explosion problem and combine data flow method and control flow method to tackle the test case executable problem .

基于对程序源代码的静态分析方法，针对程序中一些常见故障，提出了一种基于控制流图的自动测试方法。

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 .

基于字节码控制流图的回归测试用例选择算法直接分析程序新旧版本的字节码，构造出新旧版本的控制流图。

The CFG-based regression testing selection algorithm directly analyzes the bytecode of the old version and new version of the software , and then compute control flow graphs .