This paper explores the conformance test of distributed transaction service by broadening the application of protocol conformance test theory and techniques . It also presents the formal representation of distributed transaction service and the corresponding test case generation not based on personal experience .

文章拓宽了协议一致性测试的理论和技术的应用范围，探讨了分布事务服务的一致性测试，也给出了分布事务服务的形式化描述和非基于经验的 测试 序列 的 生成 方案。

Research and Application of Test Case Generation Framework Based on GUI Software

基于GUI软件的 测试 用例 生成框架的研究与应用

Clay Williams has even identified a method and system for optimizing test case generation by focusing on actions and sequences .

ClayWilliams通过研究行为和序列确定了一种优化 测试 用例 生成的方法。

Method of Conformance Test Case Generation for C / S Model System Based on UML State Chart

基于UML状态图的C/S模式软件系统的一致性 测试 例 生成

This paper has mainly analyzed the automatic test case generation for test path technology and some available methods .

重点分析了面向结构的 测试数据自动 生成技术，以及已有的一些可用办法。

A Test Case Generation Approach of Software Reliability Based on Usage Profile

基于使用剖面的软件可靠性 测试 用例 生成方法

The experimental results prove that the proposed method is effective and can be well used in test case generation and vulnerability detection of fuzzy test .

实验证明，该技术是有效的动态污点分析方法，可以很好地运用于模糊测试中的 测试 用例 生成与漏洞检测。

Automated test case generation is the basis and key of automated software testing .

测试 用例自动 生成是软件自动化测试的基础与关键。

Associating Graph Theory innovatively we abstract use case and sequence diagram and define coverage criteria to generate test cases in our test case generation scheme .

用创新性地结合图论知识，对用例图和序列图进行抽象，定义了相应的测试覆盖准则以 生成 测试 用例。

Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization

一种编译优化 测试 用例自动 生成方法的设计与实现

At last the process of test case generation based on constraint programming is introduced .

最后阐述了基于约束求解的 测试 用例 生成的特点和 适用 情况。

Scheme for GUI test case generation based on pairwise testing and its implementation

基于成对测试的GUI 测试 用例 生成方案及实现

The Research of PAR Platform-Oriented test case generation

面向PAR平台的 测试 用例 生成技术研究

Research on Automatic Test Case Generation Based on Model Driven

基于模型驱动的 测试 用例自动 生成 技术研究

New Test Case Generation Method Based on Genetic Algorithm

一种基于遗传算法的 软件 测试 用例 生成新方法

For OO - KBS the performance of a test case generation technique using MtSS is better than others .

对于面向对象的知识系统，基于MtSS的 测试 用例 生成方法比其他方法具有更好的性能。

The second method is based on the UML model and the Petri net model of test case generation .

第二个方法是基于UML模型和Petri网模型的 测试 用例 生成。

Test case generation for acceptance tests differs from other test phases due to some distinct deviations between the underlying premise of this test level and the others .

验收测试的 测试 用例 的 生成在不同的测试阶段是不同的，这是由于这个和其它测试水平潜在的前提之间存在一些明显偏差所导致的。

Test Case Generation Based on Genetic-Particle Swarm Optimization Hybrid Algorithm

基于遗传-粒子群混合算法的 测试 用例 生成研究

Experiment shows that the method can achieve a higher path coverage rate and we developed a test case generation tool in terms of the algorithm .

实验显示该方法能 以 较少 的 测试 用例达到较高的路径覆盖率，并根据这一方法实现了一个 测试 用例 自动 生成工具。

Result shows that precondition study can improve automatic test case generation process .

结果表明对前置条件的研究能够促进 测试 用例的自动化 生成过程。

Based on Petri net model we combine control and data flow to research automatic test case generation .

基于Petri网模型，我们将控制流和数据流结合起来对 测试 例的自动 生成进行了研究。

The method of test case generation using PESC is introduced at last .

最后，文章介绍了使用 PESC逐步 生成 测试路径的方法。

On UML based test case generation

基于UML的 测试 用例 生成方法研究

The methods of test case generation were researched and the test case and test data were build ;

测试 用例数据 生成方法的研究，分析了如何制定测试用例以及测试数据的生成方法；

To fill the gap an automatic test case generation method for stored procedure is proposed in this paper .

本文提出了一种为存储过程自动 生成 测试 用例的方法。

Regression Test Case Generation Based on Dynamic Slicing and UML Diagram

基于动态切片和UML图的回归 测试 用例 生成

This paper presents the technique of automated test case generation based on the specification instruction of UML State Diagram and defines the criteria of testing coverage and analyzes the generation of test datas .

本文实现了基于UMLStateDiagram规格说明的自动 测试 用例 生成技术，定义了相应的测试覆盖准则，分析了测试数据的生成。

Method of COTS Component Integration Test Case Generation Based on the Run-time Interaction Constraints

一种基于运行时交互约束的COTS构件集成 测试 用例 生成方法

But the greatest benefit quantitatively is in test case generation .

但是从数量上来看，最大的利益则在 测试 用例 的 生成中。