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

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

组合测试:原理与方法

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

相邻因素组合测试用例集的最优生成方法

软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N＞2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.  

软件测试用例生成综合策略研究

在软件测试中，测试用例生成是其关键环节，也对软件测试的自动化有着重要影响。为了提高测试用例生成的效率，提高其自动化的程度，从不同角度对软件测试用例选择策略进行介绍，并且着重介绍了采用遗传算法作为核心搜索算法来自动生成用例的方法，对其中的关键问题进行了探讨，最后，结合实际测试过程总结了测试用例生成的综合策略。  

一种API自动化测试工具的设计与实现

给出一种API自动化测试工具的设计和实现方案，实现了被测API信息的自动提取、API测试数据和测试用例辅助生成以及测试执行过程驱动与监控的自动化。介绍了使用该工具对一个实际的被测程序进行测试的过程和结果。  

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

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

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

基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证.  

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

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

基于免疫遗传算法的构件化软件测试用例生成

提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS)，介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较，说明了IGA算法的效率明显高于传统遗传算法和随机算法，同时也进一步验证了模型的正确性、可行性。  

一种构件安全测试错误注入模型

构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FIM(faultinjection model of component security testing),并对FIM模型的相关定义及其矩阵形式进行了详细阐述,同时基于FIM模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based onsolution matrix).TGSM算法根据矩阵形式的FIM模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component security testing system)中实现了FIM模型,实验结果表明FIM生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FIM模型具有较好的可操作性及可用性.