基于混合遗传算法在测试用例生成中的研究

采用智能优化算法求解测试用例生成问题是软件测试自动化领域的研究热点。针对标准遗传算法在测试用例生成中的不足,提出基于混合遗传算法的生成方法。该算法结合分支覆盖和路径覆盖两个指标对适应度函数进行优化设计,以加快数据的优化过程。通过调节因子对自适应的交叉和变异算子进行改进,并引入模拟退火机制,提高算法的局部搜索能力。实验表明,该算法在测试用例生成中的求解质量和运行效率均优于标准遗传算法。     

因果图与判定表组合生成测试用例的方法及其应用

软件测试是企业保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键。因果图与判定表测试技术各有优劣,提出将两种技术结合的方法,扬长避短,较好地解决了测试用例的生成。最后还结合案例进行分析,详细阐述了该方法的应用。     

UML类图静态模型的形式化

B方法主要是用抽象机来描述软件系统的规范说明,且有大量工具支持。UML作为新一代面向对象建模语言得到了广泛的支持,已经成为事实上的工业标准。UML图形是模型元素集合的可视化表示,类图表达了面向对象系统分析中的最基本元素—类和类之间联系,而类之间的依赖关系是类之间联系中的最重要、最普遍的一种联系。本文旨之讨论如何让用B方法来描述UML类图,从而能提高软件开发的效率、降低成本,也能改善软件工程的质量。     

基于因果图的测试用例设计及应用

在软件黑盒测试方法中,设计测试用例有多种方法,各种设计方法都有其侧重面。因果图主要表示测试软件输入条件的相互依赖与相互制约关系,以及由此导致的不同结果。介绍了因果图的基本概念,以及使用因果图设计测试用例的方法。     

测试用例类库及其在软件工程中的应用

介绍了测试用例管理方法———测试用例类库,研究了测试用例使用、管理现状和存在的问题,以及测试用例类库的实施要点,并对实施效果进行了分析。     

基于图论观点的UML图分析

图论就是研究图的理论,而UML用各种图形符号来对软件开发过程进行建模,因此图论与UML之间有着天然的联系。从图论的思想观点出发,对UML2.0中定义的主要建模图与图论中图的关系进行了分析。     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言（Unified Modeling Language,UML）,利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型．尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于UML活动图的场景法测试用例生成策略的研究

传统的软件场景测试法存在着构造场景难度大,场景数量庞大、冗余度高等问题.针对这些问题,本文提出了一种基于UML活动图的场景法测试用例生成策略,利用活动图和基本路径覆盖法压缩、优化测试场景和测试数据,为软件系统测试提供有效、可行、系统的方法.     

基于UML的移动终端软件自动化测试用例建模

以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。     

基于交叉熵方法的测试用例选择策略

基于交叉熵方法提出了一种启发式划分测试用例选择策略。该策略在待测软件参数已知的条件下．以总的测试费用最小为目的,利用交叉熵方法通过调整各个子域中测试用例选择的概率来选择测试用例。     

基于UML statecharts 测试方法的研究

Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.     

UML在教学设计中的应用研究

本文借助于系统工程的思想和方法,使用UML视图对教学设计进行了描述和表示,为教学设计的理论研究与实践提供了新的理论框架和建模方法。     

结合案例和任务驱动的UML教学方法研究

随着UML建模语言的应用越来越广泛,许多高校为计算机专业的学生开设了UML课程,并将其确定为一门重要的专业技术基础课。针对传统教学模式的不足,在实际教学中运用案例教学法和任务驱动教学法,提出并实施了在UML教学中结合案例和任务驱动的先进教学方法,取得了较好的教学效果。     

UML建模过程中获取用例的增量迭代方法

统一建模语言UML是面向对象建模领域中通用的标准语言，用例作为UML的主要技术之一，不仅是获取需求的重要手段，而且可以驱动整个开发过程。本文以教务管理系统中教材管理子系统开发经验为实例，介绍一种简单直观的增量迭代方法，用以在需求分析阶段捕获初始的系统用例，同时帮助开发人员之问更好地沟通。     

试论面向对象测试中的组装测试技术

长期以来，我们总是参考现向过程的测试方向来测试利用面向对象技术开发的软件，效果并不理想，尤其是组装阶段的测试。因为类具有继承性（Inheritance)和多态（Polymorphism)／动态联编性（Dynamic binding)，并不等于面向过程设计中的模块。因此，要取得更好的测试效果，只有找到与之相适应的面向对象的组装测试技术方可。     

基于基本路径测试的程序图自动生成的应用研究

基本路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率．自动生成程序图是基于基本路径测试的测试用例自动生成过程的重要步骤,该文主要描述了从源程序出发,通过对程序语法结构的分析,自动生成程序图的方法,并且通过构建原型系统,证明了该方法的有效性．     

基于UML高职院校在线考试系统的设计

以高职院校在线考试系统为研究背景,阐述了基于UML的需求描述、系统分析、详细设计和结构设计的方法,在RationalRose环境下运用UML对在线考试系统进行分析建模,搭建了在线考试系统分析设计模型,为实现高职院校在线考试系统打下良好的基础。     

测试驱动开发与软件质量保证探析

在探讨软件质量保证对于软件产业发展的重要性的基础上,阐述了测试驱动开发的概念、流程及由测试驱动开发的本质特性决定的优劣势．为了提升其对软件质量保证的可靠性,提出了两种解决办法：（1）加强对测试集的集体开发;（2）加强与传统软件测试在集成测试、系统测试等方面的优势整合,为软件开发与设计提供了一种有益的选择和尝试．