能提高错误检测能力的回归测试用例集约简

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,使得回归测试费用大幅度增加.为降低回归测试成本,需对回归测试用例集进行约简.现有的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了错误检测能力.本文提出了一种新的约简方法,该方法在约简回归测试用例集的时候综合考虑测试用例的测试覆盖度、测试运行代价和错误检测能力3个因素.通过仿真实验表明该方法在有效约简回归测试用例集的同时能保证约简后的测试用例集的错误检测能力.     

基于可信基因的网格测试分级约简研究

作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一．而软件测试的核心与关键则是测试用例的生成问题,测试用例的数量和质量将直接决定软件测试的成本和有效性．就目前而言,随着覆盖程度的提高,所需使用的测试用例数量也在呈指数级增长,且冗余随之而来．因此,若进行完全测试,势必工作量很大,但若只按一般组合设计测试用例,则又会存在因测试次数太少而牺牲相应检错能力的问题．为此,提出了基于可信基因的网格测试约简方案,并通过实践验证了所得到的测试集不仅规模较小、保持了极佳的检错能力,而且与传统算法相比较时空间复杂度有所下降．     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

测试用例约简技术及其在单元测试中的应用

测试用例的质量和数量决定软件测试的成本和有效性，本文提出了一种测试用例的简约方法。该方法首先根据测试需求之间的关系，给出各个参数的候选集；然后根据模块接口参数运行的模拟图、数据覆盖和模拟路径覆盖的原理得出测试用例基本集，即测试命中集。本文还提出了在单元回归测试过程中，可以按照一定原则进行属性简约，在剩余属性集合中再进行测试用例的简约。实验表明，该算法在减少测试成本和提高测试效率方面取得了很好的效果，并且极大地增强了它的可操作性。     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

一种基于RRT技术的面向对象软件测试方法

针对目前面向对象软件的测试方法较少且效率不高的问题,提出将基于ART(adaptive ran-dom testing)思想的限制性随机测试RRT(restricted random testing)应用到面向对象程序中的方法.分析了面向对象软件测试用例的结构,提出了测试用例包含动态部分和静态部分.确定测试用例之间的距离为动态部分和静态部分的距离和,并分别给出了这2个距离的计算公式.设计了基于RRT的测试原型系统,该原型系统主要的功能模块有类图录入模块、测试用例距离度量模块、基于RRT测试用例生成模块、结果分析模块.通过试验对比了文中方法与随机测试方法.结果表明,文中提出面向对象的RRT方法在发现第1个程序错误的测试中比随机测试方法减少了约50%的测试用例数量,且在发现测试用例的质量上也几乎与随机测试相同.文中提出的测试用例度量机制能够有效地对面向对象软件中的测试用例进行区分,基于RRT的测试原型系统也能自动化地生成测试用例并自动测试从而大大提高了面向对象软件测试的效率.     

基于计算机虚拟化列车控制系统敏捷测试方法

传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率.     

基于XML描述校验规则的数据输入测试用例自动生成方法

采用自动化测试技术是节省软件测试开销、提高软件测试工作效率的重要手段,测试用例设计、测试脚本编写是自动化测试技术的关键。本文介绍的数据输入测试用例自动生成方法,基于数据输入界面有XML描述的校验规则,根据校验规则自动生成大量测试用例数据,并可根据实际需要对测试用例数据的数量、覆盖范围进行控制。．本文还介绍了自动生成测试用例数据的工具软件,及所生成的测试用例在自动化测试工具中的运用方法,从而解决了大量测试数据准备、测试覆盖率、测试执行的相关问题,使用本文介绍的方法,将能在数据输入测试时大大节省测试成本,提高测试精度。     

某矿业资源管理平台测试用例的设计研究

测试用例的设计过程对于软件测试的成败起着至关重要的作用。首先,介绍了测试用例及其复用技术等相关概念。其次,结合实际测试环境,针对某一矿业集团的资源管理平台(简称MT平台)完成了由制定测试计划、测试用例的选取、设计、执行、评审、缺陷分析与管理各个环节所构成的测试用例设计过程,并对实测模块进行测试用例设计复用。最后,从熟悉测试对象的行业背景、用户参与测试评审会议、准确定位缺陷信息三个方面对未来的测试工作提出了展望。     

面向城轨列车智能视觉定位的安全测试方法

为了解决基于深度学习的列车智能视觉定位系统难以测试问题，提出一种面向列车智能视觉定位的安全测试方法。基于风格迁移思想，通过构建生成式对抗网络（GAN）实现测试用例的生成；基于深度变异测试方法，实现对测试用例错误检测能力的量化评价；针对城轨运营组织特点，提出一种“虚拟-半实-真实”平行测试平台架构，用于支持测试用例生成模型的构建和测试执行。实验结果表明，本方法生成的测试用例场景种类分布更为均匀多样，能够较为全面地测试模型在不同场景下的安全性，有效提升列车智能视觉定位的测试效率。     

基于OCL约束的多态性时序图测试用例生成方法

由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法.提出了一种对多态性时序图的形式化及相应测试用例的生成方法.根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph).使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例.通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度.     

基于MC/DC的测试用例优先级算法研究

回归测试过程往往需要执行大量的测试用例。为减少回归测试工作量,可以使用测试用例优先级技术。介绍了MC/DC测试用例优先级算法,通过对MC/DC测试用例集中的测试用例进行优先级排序,使高优先级测试用例比低优先级测试用例在回归测试过程中优先执行,可以更早地发现软件错误和满足代码测试充分性要求,减少回归测试的工作量。     

划分测试中测试用例最优分配问题研究

研究了划分测试中每个子域错误率已知，测试资源受约束时，测试用例如何合理分配的优化问题．主要考虑了两类测试用例分配问题：测试资源受约束的测试用例分配及测试资源受约束且各个子域的可靠性要达到一定要求时测试用例的分配，证明了带约束的测试用例最优分配问题是一个NPC问题．给出了动态规划求解方法，从理论上证明了该方法是最优的，并通过随机模拟将该方法与其它常见的测试用例分配策略进行分析比较，用实验数据验证了该办法能合理利用有限测试资源，有效地提高缺陷检测能力．     

基于贪婪算法的回归测试用例集生成方法

在贪婪算法的基础上,通过测试需求的辅助,提出一种算法.此算法删除了地位低的测试需求,并且不断缩减测试用例的选择范围,以提高算法的效率.     

IP数据包传输稳定性测试技术研究与开发

针对IP数据包在大型网络上传输可能遇到的数据包时延、数据包重复、数据包丢弃、数据包顺序偏移、数据包错误等多种损伤或情况，研究了IP数据包传输稳定性测试技术，提出了适用于网络设备IP数据包传输稳定性测试的测试用例设计方法并进行测试用例设计，开发了传输稳定性测试工具，运用该工具对网络设备IP数据包传输稳定性进行了测试。     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

Matlab在核电厂测试用例编写中的应用

核电厂的逻辑图测试用例是核电厂调试以及编制试验规程的重要参考依据,为直观反映出逻辑图中输入与输出的关系,需要将逻辑图转换为真值表。由于输入状态众多内部逻辑运算关系复杂,如果采用人工分析即穷举法不仅费时费力而且易导致错误。本文提出采用Matlab中的Simulink仿真工具对数字逻辑进行辅助分析,经过实际操作验证该方法提高了逻辑图分析工作的效率和准确性,为测试用例的编写提供了一种可借鉴途径。     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.     

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

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向.在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例.实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率.