test case generation

Automatic test case generation is one of key issues of software testing.

测试用例自动生成是软件测试的核心问题之一.

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

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

Test Case Generation Based on Interface State Cause-Effect Chart

基于界面状态因果图的测试用例生成

Precondition Analysis in Software Test Case Generation

软件测试用例生成中的前置条件分析

Especially enhancing the automation of test case generation takes the key role.

其中，提高测试用例生成的自动化程度又是提高测试过程自动化程度的关键所在。

Automatic test case generation of protocols based on Petri nets

基于Petri网的协议测试例自动生成

Test Case Generation Method Based on Specification and Application in Embedded Software Testing

基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用

On UML based test case generation

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

Research on Automatic Test Case Generation Based on Model Driven

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

New Test Case Generation Method Based on Genetic Algorithm

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

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

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

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

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

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

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

The Method about Test Case Generation of Routing Table Calculation in OSPF Protocol

OSPF协议中路由表计算的测试例生成方法

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

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

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

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

UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram.

UML顺序图侧重于展示对象之间的消息交互过程，但其动态语义缺乏形式化的描述，不利于对顺序图模型的准确理解和基于该模型的测试用例生成。

Regression Test Case Generation Based on Dynamic Slicing and UML Diagram

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

Improved Immune Genetic Algorithm Supporting Test Case Generation for Component-Based Software

一种支持构件化软件测试用例生成的免疫算法

The paper is focus on the test case generation methods based on Z language and statechart.

然后从UML状态图的操作语义,提出了把Z语言和状态图结合自动生成测试用例的方法.

Research and Development of the Executable Test Case Generation System in TPT

双端口测试器的可执行测试例生成系统研究与开发

The thesis presents a new test case automated generation method based on algebraic specification of ADT.

本文以代数规格说明为基础,提出了一种新的黑盒测试用例生成方法.

The paper presents the test case generation algorithms based on GUI modeling.

提出基于GUI模型的测试用例生成方法。

Test Case Generation from Method Sequence Specification

基于方法序列规范的测试用例生成

Research on Model of Automated Test Case Generation for Complicated Interactive Software

一种针对交互式软件的测试用例生成模型研究与实现

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

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

A Test Case Generation Method at Register Transfer Level

寄存器传输级测试用例生成算法

Applying metadata in test case generation of component can enhance the efficiency of component.

把元数据应用到构件测试用例生成中,有助于提高构件测试的效率.

Current automatic test case generation tools cannot completely solve the problem.

而目前基于安全产品形式化规约的测试用例自动生成方法并不能完全适用于这种需要。

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

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