test case

Precondition Analysis in Software Test Case Generation

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

China will be a test case after its big lending spree of the past 18 months.

过去18个月借贷狂欢的中国便是一案例.

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

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

To reduce the cost of regression testing, the test case prioritization method is proposed.

为了降低回归测试的测试成本, 提出了测试用例优先排序的方法.

XP's feedback cycles are quick: develop the test case, code, integrate ( build ), and test.

XP的 反馈周期迅速: 开发测试集 、 编码 、 集成 ( 编链 ) 和测试.

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

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

A successful test case is one that detects an as-yet undiscovered error.

已找出新错误的测试样本才是成功的测试样本.

In this case a particular test run is hard to reproduce and the same test case may expose a bug only occasionally.

在这种情况下，只运行一个测试很难重现，相同的测试用例可能会偶然地暴露出一个bug。

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

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

Good capability in test case analysis and design.

良好的测试用例分析及设计能力.

A good test case will not only find errors as many as possible, but also find the errors have never be found. Then the efficiency of testing is improved.

测试用例是整个软件测试的核心，好的测试用例可以尽量多地发现错误，甚至发现以前从来没有发现过的错误，从而提高测试的效率。

For the reliability testing of the platform, random test and benchmark test are traditional test methods. Apart from that, this paper includes some research on the FPGA-based hardware and software co-verification method as well as the test case generation method based on the Markov usage model.

在系统可靠性测试方面，除了采用传统的随机测试、基准测试集测试外，研究了基于FPGA的软硬件协同验证方法与基于马尔科夫使用模型的测试用例生成方法。

Study on the Generation of Software Reliability Test Case Based on Markov Chain

基于Markov链使用模型的软件可靠性测试用例生成研究

This paper analyzes the process of project-level software test from the point of CMM, and discusses the design of test case and the output of each software test phase.

从CMM的角度分析了项目级软件测试的活动过程，并且讨论了测试用例的编写和各测试阶段的输出。

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

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

Study of the Test Case Base of Black Box Testing

黑盒测试用例基的研究黑盒测试技术在LBPACK研制中的应用

This is best seen as a test case, not as a significant defeat or victory.

最好别把它看成是一次重大的失败或胜利，而是看成一个试验案例。

Chapters 3 and 4 are the main parts of this dissertation, which are dedicated to techniques of two important steps in test case generation, i.e. generic test suite planning and test case specification.

第3、4章是笔者的主要工作，分别完成测试例生成两个重要步骤&测试集的规划和抽象测试例描述。

And he can go for test case strategy to make all the acceptance testing full proof.

他也可以使用测试用例策略,使得所有的验收测试都能完全通过.

With these coverage criterions, algorithms for automatic generating test cases are brought forward. To assist test case generation, split tree algorithm for DNF formal is presented in the thesis.

为了辅助迁移关系划分覆盖测试准则自动产生测试用例，提出了分裂树的算法来产生谓词的DNF范式。

The technology of designing test case is the core of software test.

软件测试用例的生成技术是软件测试的核心.

The last line of the test case contains two city names: start and destination.

的最后一行测试用例包含两个城市名称: 启动和目的地.

What's more, I use TestNG's handy DataProvider feature, which allows me to create a generic test case and vary the parameters to it through another method.

而且，我还利用了TestNG方便的DataProvider特性，借助该特性，我创建了一个通用的测试用例并通过另一个方法来改变它的参数。

The test case designing of black-box test is depicted in detail.

对 黑盒 测试的测试用例设计方法做了详细的描述.

Static program testing is an approach between program verification and test case running.

程序静态测试是介于程序验证和基于用例运行之间的测试方法.

Regression Test Case Generation Based on Dynamic Slicing and UML Diagram

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

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

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

This test was endorsed by the Supreme Court in the Vermont Yankee case.

这种检验在“弗蒙特-扬基”一案中得到最高法院的认可.

The outcomeof these wage talks is seen as a test case for future pay negotiations.

这一系列工资谈判的结果可视为今后薪酬谈判的先例.

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

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