软件模型决定了软件测试用例生成方法。
The development process models decide the process models of software testing.
与相应的软件测试用例生成方法相比，具有较高的测试效率。
Moreover, these software testing methods are more efficient than other corresponding test suite generate methods.
UML顺序图直观地展现了对象之间的消息动态交互过程，适合于作为面向对象软件交互测试用例生成的依据。
UML sequence diagram shows the dynamic process of message interaction among objects, it is fit for generating interaction test case of OO software.
编译器测试的主要流程和通常的软件测试一样，包括了测试用例生成、测试用例执行以及测试结果判定等活动。
Like the testing flow of other softwares, the main issues in compiling optimization testing include test case generation, test case execution and test result analysis, etc.
让计算机自动分析所测系统内容，使测试用例自动生成，对完成软件测试的完全自动化具有及其重要的意义。
Let the computer automatically analyze the measurement system, so as to automatically generate the test case, it is an important role to the completion of a fully automated software testing.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题。
Thus, LTS state tree generation algorithm is the key to deriving testing plans and testing cases from architecture descriptions.
软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则来判定测试的充分性。
Structural testing, a kind of software testing, generates test cases based on program code, and then judges the completeness of the testing based on the testing criterion.
结合目前软件单元测试技术的研究现状，我们将深入研究单元测试中源文件的模块依赖问题和测试用例的自动生成问题。
According to the current research status of software unit test problems, we will investigate module dependencies in the source file and the automated test case generation.
在对嵌入式软件进行黑盒测试研究的基础上，提出了一种基于成对测试设计思想的测试用例生成算法。
Based on the research of black box testing of the embedded software, a new test case generation algorithm is proposed.
提出了一个比较完整有效的基于GUI软件的测试用例生成框架（GSTCGF4SEI）。
We proposer a complete and efficient GUI software test cases generation framework(GSTCGF4SEI).
在软件测试技术中，高效的测试用例生成是简化测试工作、提高测试效率的必要手段。
In the software testing technology, efficient test case generation is to simplify the testing, the necessary means to improve testing efficiency.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种新的面向对象软件簇级测试用例生成方法。
This paper presents a new method of creating testing cases for objected-oriented software-cluster-level testing based on the UML sequence diagram.
图形用户界面(GUI)测试是软件测试中十分重要的一环，目前图形用户界面的测试主要集中在测试用例的自动生成和录制回放技术的研究。
Graphical User Interface (GUI) test is a main part of software test. The research of GUI automatic test mainly concentrates on auto-generating of test script and automatic test of record-playback.
摘要：在软件测试中，如何才能生成高效的测试用例一直是人们研究的热点。
Absrtact: in the software testing, the method how to generate efficient test case has been one focus of the study.
测试用例生成是软件测试的关键，成对测试是根据特定的测试原则研究测试用例的产生方法。
The generation of testing case is the critical problem in software testing. Pairwise testing which bases on specifically testing criterion and study the approach of testing case.
为提高软件测试的效率和覆盖率，对测试用例的生成方法进行了研究。
With the aim to improve the efficiency and the coverage rate of the software testing, the generation methods of the test cases are researched.
本文提出了一种新的面向对象软件簇级测试用例生成方法。
Using model checking to generate test cases for class testing;
本文提出了一种新的面向对象软件簇级测试用例生成方法。
Using model checking to generate test cases for class testing;
应用推荐