UI自适应的Android软件自动化测试框架研究

移动互联网的迅速发展,使得Android应用软件越来越多,对Android软件自动化测试也提出了更高的要求。现有的Android自动化测试软件大多支持针对某一固定终端的自动化测试。由于Android使用终端的多样性和复杂性,在自动化测试中要针对不同的测试终端分别设计测试用例。本文提出了UI自适应的Android软件自动化测试框架,通过对被测试软件的源码分析,自动识别被测试软件中的各种UI控件及其布局方式。测试人员针对一种终端进行测试用例设计后,自动化测试系统将能自动生成不同终端设备的自动化测试用例。测试框架的使用,将会大大提高测试人员的工作效率。     

一种基于控制流的web应用系统测试方法的探讨

web应用系统的使用与日俱增,web技术层出不穷,但是web应用系统的测试却是一个难点。提出一种基于控制流的测试方法,对web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生,为了使测试自动化,并阐述脚本技术和测试执行器的设计。     

企业信息系统数据完整性的测试

目前在企业信息系统开发中数据完整性测试是最薄弱的环节,通过对企业信息系统开发中的数据完整性测试问题进行理论上的研究,分析并总结出了关系型数据库更新的5种模式,以及实践中常见的6种错误类型,在此基础上引入了旨在简化测试用例编制和降低测试用例之间耦合性的DB-Diff描述语言,以及针对此种测试模式的自动化测试框架.     

基于AspectJ的面向方面自动化选择测试用例算法研究

为了对面向方面软件进行自动化测试,本文对面向方面软件自动化选择测试用例进行研究。通过对引入案例进行分析,提出面向方面软件自动化测试框架及自动化选择测试用例算法,并实现了自动化选择测试用例系统。实验结果在案例中的应用表明文中提出的算法及开发的自动化测试工具在面向方面系统中有一定的实用价值,并且在一定程度上提高了测试效率。     

一种测试用例与测试代码分离的单元测试框架

软件必须通过测试才能确保其在应用环境中工作正常,自动化软件测试可以减少测试开销,同时增加在有限时间内的测试.在传统JUnit单元测试框架的基础上,提出一种基于测试代码复用的自动化测试框架,该框架利用XML脚本来描述和组织测试用例,有效的实现数据与代码分离,提高测试执行效率.最后给出新框架的实现方案.     

朴素贝叶斯应用于自动化测试用例生成

提出使用朴素贝叶斯作为核心算法来产生自动化测试用例的方法,将分类的思想引入到自动化测试用例的生成中.通过实验验证此生成测试用例方法的可行性.     

基于VMware vSphere的分布式协同软件测试平台构建

为了解决复杂分布式软件测试中经常需要多机器间协同配合以完成测试工作的问题,提出一种基于VMware vSphere的协同软件测试平台的设计方法.探讨了测试平台的技术选型及架构设计,并对平台设计中的关键技术进行了分析和说明.结果表明,该平台对测试中可预见的虚拟机操作提供了充分的自动化支持,使诸多需要多机器协同配合的复杂测试用例实现了自动化,对缩短软件开发周期,降低软件研发成本,提高软件质量具有一定借鉴价值.     

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

Web应用系统的自动化测试解决方案

软件测试贯穿于整个软件开发周期,在软件测试中引入自动化的概念可以提高测试的效率,本文通过一些开源的软件来构建系统的Web应用的自动化测试方案.测试自动化管理系统用来控制整个测试过程和项目的进展,功能方面的自动化测试主要采用关键字驱动的Web系统测试框架Watij来实现,而性能测试的自动化则利用分布式的测试工具Tsung.自动化测试不能完全取代人工测试,只有在保证软件质量的前提下,进行自动化测试才有意义.     

一种基于规则提取的自动化测试用例生成方法

软件测试过程中,缩小测试用例集的规模,通常需要根据经验进行分析,找出输入输出间的非映射关系,这往往要耗费过多的测试资源。而人工神经网络在此问题的处理上有其特有的优势。因此文章提出了一种改进的规则提取方法,用于生成测试用例。通过构建神经网络模型,建立输入/输出之间的非线性映射关系,接着根据连接的权值,裁剪网络,去除与特定输出无关的输入属性。然后,在规则提取阶段仅保留两个与该输出最为相关的输入,并由此提取出IF-THEN规则,生成测试用例。文章完成了改进后规则提取算法各阶段的自动化,显著降低了在测试用例设计环节上的开销。最后,通过程序验证了该方法的有效性。     

补充生成测试用例的优先级设定与动态调整算法

测试用例优先级技术是一种实用高效的回归测试技术,然而现有各种优先级技术均围绕待复用的测试用例集,忽视了对补充生成测试用例的优先级设定和调整方法的讨论.针对这一问题,在现有研究基础上提出一种面向补充生成测试用例优先级的设定与动态调整方法,讨论这种方法在并行环境下的应用问题,最后通过一个实例研究表明：新方法能够有效地提高补充生成测试用例的使用效率.     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

面向全迁移的小规模EFSM测试序列集生成方法

针对在扩展有限状态机（extended finite state machine, EFSM）模型上测试序列集生成效率低、规模大等问题,提出了一种面向全迁移的小规模测试序列集生成方法。该方法基于改进的自适应多种群遗传算法（improved adaptive multi-population genetic algorithm, IAMGA）。首先,利用迁移覆盖增益设计适应度函数,使每次生成的可行迁移路径均能产生迁移覆盖增益;然后,根据个体的可行迁移划分子种群,并在子种群内使用轮盘赌算法进行选择,克服了“早熟”问题,提高了全迁移覆盖的成功率;再利用种群的平均路径通过率自适应地调整交叉和变异概率,加快了收敛速度;最后,通过倒序遍历测试序列集去除冗余序列,进一步压缩了测试序列集规模。实验结果表明,与面向单迁移的测试序列生成方法相比,本文所提出的测试序列生成方法面向全迁移,仅一次就能以90%以上的成功率生成满足全迁移覆盖的测试序列集；与传统的遗传算法相比,IAMGA算法生成的测试序列集的平均规模减少了50%,平均迭代次数也减少了20%。本文提出的测试序列集生成方法可有效提高EFSM测试序列集生成的效率和质量。     

互补策略的简化测试用例集方法研究

为了对测试用例集进行有效化简,提出了一种考虑测试用例间互补关系的测试用例集简化算法CH.该算法通过挑选所有的必不可少测试用例、剔除1-1冗余测试用例、选择能够最大程度满足未被满足的测试需求的测试用例、应用考虑元素间互补关系的双组合选入机制,寻找优化代表集.实例研究表明,在一些测试条件下该算法优于现有的几种测试用例集简化算法.利用该算法,可以得到更精简的测试用例集.     

程序不变量驱动的组合测试用例约简方法

针对组合测试用例约简问题,提出一种基于程序不变量的两两覆盖组合测试用例约简方法。首先用组合测试用例生成算法对被测程序一次生成一个组合测试用例,然后根据该组合测试用例提取被测程序的程序不变量来决定该测试用例的取舍。典型案例实验表明该方法能有效地对组合测试用例集进行约简,可降低测试用例的数量,提高测试用例的质量。     

自动程序修复中的安全隐患场景及解决方案

为提高自动程序修复方法的修复质量,指出在自动程序修复方法修复程序缺陷过程中存在的两种安全隐患场景,即脏补丁源场景和脏测试集场景,并为两种安全隐患场景分别提出相应的解决方案,即补丁校验方案和测试集校验方案。实验结果表明, 所提出的补丁校验方案能够促使自动程序修复方法获取安全性更高的补丁,所提出的测试集校验方案能够准确地定位测试集中的脏测试用例,误报率为7.20%。     

CAD矢量汉字一致性测试的研究

阐述了开展 CAD矢量汉字一致性测试的目的、意义和开发测试套件中开展的相关研究工作,重点讲述了 STEP一致性测试原理、字体标准的研究、字形和内码的测试方法、测试判定准则等相关技术问题,以及测试套件的概述和评价。     

回归测试用例集优化策略

将测试用例集约简技术和优先级技术相结合,提出3种回归测试用例集优化策略:①渐增式约简算法BU,首先选择必不可少用例,然后选择额外贡献度最大的用例直至覆盖全部需求;②精简式算法BD,每次选择必不可少用例,如果没有,则不断删除贡献度最小的用例,直至覆盖全部需求;③优先级策略BUP,每次将需求集重置为待覆盖,然后调用BU直到所有用例排序完毕。贡献度综合考虑了用例对单个需求以及需求集的重要性。实验结果表明,将测试用例优先级技术引入到约简中,不仅能获得规模较小的目标集,而且能以较快的速度覆盖测试准则。     

一种基于SIP协议的应用软件测试方法

提出了一种通过执行TTCN-3抽象测试套来验证应用程序正确性的新方法．介绍了SIP协议（Session Initiation Protocol,会话初始协议）及SIP协议的要素和消息,介绍了用于开发相关测试套的TTCN-3语言,给出了一个具体应用实例．实例验证该方法具有可行性．