基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.  

基于界面构件关联图的软件功能测试技术

针对具有图形用户界面（GUI）且进行事务处理软件系统的功能测试，从界面构件间关联特征出发，提出了界面构件关联图，描述界面中各个构件之间相互联结，制约关系，进而提出了基于界面构件关联图的软件测试覆盖准则和测试用例生成方法，最后给出一个利用界面构件关联图进行软件测试的应用实例。  

UML statecharts的测试用例生成方法

测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构，研究相应的测试用例产生方法。它视复合状态为抽象状态，分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基，并依据一定的合成规则和Wp－方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明，如果满足测试条件，它们保证全故障覆盖，且产生较好的测试用例。这种改进对大型复杂系统尤其有效，也便于构造自动测试工具。  

基于Z规格说明的软件测试用例自动生成

提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过经性谓词转换，线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例。同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实例，并通过一个实例进一步加以说明。  

基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML状态图的类的测试用例自动生成方法。  

组合测试:原理与方法

组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进行深入的研究.总结了近年来在组合测试方面的研究进展,主要内容包括:组合测试准则的研究、组合测试生成问题与其他NP完全问题的联系、组合测试用例的数学构造方法、采用计算机搜索的组合测试生成方法以及基于组合测试的错误定位技术.  

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

1 引言面向对象软件测试技术的研究是最近几年才引起重视的一个新领域。OO程序由于引入了封装、继承、多态等概念和机制,在程序的组织结构和运行机制上与传统的程序有很大差别,因而也对软件测试技术提出了新要求。无论是传统程序还是OO程序,测试活动通常分4个步骤进行:(1)确定测试准则;(2)基于测试准则构造  

基于XYZ/E规范的软件测试用例自动生成方法

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题，提出一种基于时序逻辑语言XYZ／E软件规范说明的测试用例自动生成方法。该方法采用XYZ／E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ／E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。最后，通过一个实例验证了该方法的可行性。与传统方法相比，该方法既保证了软件测试用例的有效性，又减少了测试用例输出的计算工作量。  

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

建立了一个基于遗传算法测试用例生成的系统模型，在该模型下通过分支函数插装的方法构造遗传算法所需的评价函数并针对软件测试用例生成问题的特点对传统遗传算法进行了改进；最后，给出了一个实例并分析了实例的执行情况。  

Model based testing in incremental system development

The spiraling nature of evolutionary software development processes produces executable parts of the system at the end of each loop. It is argued that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, a method for model based test sequence generation for reactive systems on the grounds of Constraint Logic Programming as well as its implementation in the CASE tool A F is presented.