基于R_N(K)准则的测试用例生成技术

针对完整路径覆盖测试的可行性,提出了R_N(K)测试覆盖准则。首先,将测试问题归纳为多目标函数的优化问题,为了提高生成效率,对遗传模拟退火算法中的编码、适应度函数和退火规则做了相应的改进,并利用其结果和程序插装理论来生成测试用例。试验表明,该方法与随机法和遗传算法相比有较好的效果。     

基于UML的软件测试用例自动生成技术的研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。     

基于扩展库所/迁移系统的GUI自动化测试

为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则:库所覆盖准则、迁移覆盖准则和迁移对覆盖准则.对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明:相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.     

基于组合覆盖的文档转换器集成测试用例生成

通过对中文文档格式标准"标文通"(UOF)和XML实例文档进行形式化定义,统一了文档转换器测试功能点粒度划分标准,实现了测试用例覆盖率的度量;设计基于两两组合覆盖算法的文档转换器集成测试数据集构造方法,得到最小化的测试用例集,解决了文档转换器的人工集成测试用例设计简单、增量策略不合理、用例数量随着输入参数的增加呈指数增长等问题。在此基础上开发了文档转换器测试用例生成原型系统。实验表明:该系统可以生成文档转换器集成测试用例,在保证测试用例覆盖率的基础上,有效降低集成测试用例数量,减少测试用例设计时间,提高测试效率。     

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

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

基于敏感函数覆盖的恶意代码行为 并行分析技术研究

为提高恶意代码行为分析的效率,增加测试数据的有效性,提出了一种基于目标代码内部敏感行为函数覆盖的并行化恶意代码行为分析方法,运用静态分析进行输入点与敏感行为函数的识别与定位,将符号执行与动态执行分析相结合设计了并行化敏感路径搜索算法及敏感行为函数逼近技术,引导遍历目标代码内部敏感行为函数,进行恶意代码行为的并行化测试与分析。实验表明,与采用随机产生测试用例进行直接测试和使用全路径覆盖进行测试相比,该方法可以更加有效地产生测试数据,提高恶意代码行为的分析速度与效率。     

基于扩展有限状态机的类测试用例生成方法

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.     

基于伪并行遗传算法的路径测试数据自动生成

路径测试数据自动生成是结构测试中的关键问题,也是当前软件测试研究中的热点问题.为了探讨伪并行遗传算法用于路径测试数据生成的可行性及其效果,首先归纳了基于演化算法的路径测试数据自动生成方法的基本思想和流程,然后在MATLAB7.1上实现了一个基于粗粒度模型和基于适应度选择迁移个体的伪并行遗传算法和一个使用代沟的基本遗传算法.采用基于分支距离的适应度函数,以三角形分类程序为例比较了二者在生成路径测试数据时的性能差异.实验结果表明伪并行遗传算法较之基本遗传算法具有明显优势.此外,自由迁移和相邻迁移策略要优于单向迁移策略.     

基于遗传算法与LightGBM 融合的测试用例生成方法

随着互联网技术不断发展, 各类商务软件功能需求不断增加, 且其复杂性逐渐提高, 软件的可靠性与安全性受到了越来越多的关注, 软件测试是软件质量保障的关键技术。由于现代商务软件产品具有需求变化频繁、版本迭 代过快等特点, 为其手工编写测试用例会耗费大量人力成本, 尤其敏捷开发过程中, 回归测试等需要产生大量重复用例。采用机器学习技术, 基于遗传算法和LightGBM 模型, 提出了一个测试用例自动生成模型, 创新贡献表现在: ① 将测试步骤抽象为有向图模型, 简化测试用例数据; ② 采用遗传算法求解有向图可达路径, 替代人工生成测试路径; ③ 采用LightGBM 模型加快遗传算法收敛速度, 实验验证了所提出方法的有效性, 满足测试覆盖准则。该模型 可减少测试人员工作, 加快测试速度, 对提升项目质量、加快项目进度具有重要意义。     

一种基于改进遗传算法的测试用例自动生成研究

测试用例的生成是软件测试领域的关键技术问题。近年来,受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生成方向的研究,对于软件测试的自动化有着重要的影响。为了生成高效的测试用例,笔者提出了一种改进的遗传算法,该算法采用实数编码方式,采用逻辑覆盖原则,将遗传算法的适应度函数进行改进并加入遗传导向控制,这样有利于种群的多样性遗传,避免种群早熟收敛现象,并结合Delaunay三角网生成程序进行说明,验证了该算法的有效性。     

A scheme on automated test data generation and its evaluation

1INTRODUCTION Softwaretestingisanimportantphaseinthe softwaredevelopment.Severalapproacheshave beenproposedforautomatedtestdatageneration,includingrandommethod[1],syntaxbasedmeth od[2],programspecificationbasedmethod[3],sym bolicevaluationmethod[47]andprogramexecutionbasedmethod[816].Oneoftheearliestsystemsthat automaticallygeneratetestdatausingsymbolic evaluationonlyforlinearpathconstrainswasde scribedinRef.[6],whosecapabilityislimiteddue toitslowabilitytohandlearrayreferencedepen dingon…     

Web应用的自动测试方法

介绍基于Internet的Web应用程序的自动测试方法,分别给出Web应用程序功能测试和性能测试的实现方法,对Web服务的快速开发提供了通用解决办法.     

Minimal-Length Interoperability Test Sequences Generation via Genetic Algorithm

A novel interoperability test sequences optimization scheme is proposed in which the genetic algorithm (GA) is used to obtain the minimal-length interoperability test sequences. During our work, the basic interoperability test sequences are generated based on the minimal-complete-coverage criterion, which removes the redundancy from conformance test sequences. Then interoperability sequences minimization problem can be considered as an instance of the set covering problem, and the GA is applied to remove redundancy in interoperability transitions. The results show that compared to conventional algorithm, the proposed algorithm is more practical to avoid the state space explosion problem, for it can reduce the length of the test sequences and maintain the same transition coverage.     

一种有限扫描操作测试压缩方法

针对集成电路测试时间长,导致测试费用高的问题,提出了一种基于有限扫描操作的扫描电路静态测试压缩方法．利用有限扫描操作代替全扫描操作,用有限扫描操作合并测试对,通过减少移位操作次数减少测试时间．同时,将启发式方法用于限制候选测试对数量,给候选测试对进行排序,降低计算复杂度,加速压缩过程．基准电路实验结果表明,相同故障覆盖率下,本方法所需平均测试时间仅为典型方法的50％左右．     

混合测试框架的研究与实现

为有效解决NP(网络处理器)仿真器测试问题,研究了自动化测试框架的原理与技术.针对NP仿真器的特点,基于混合测试驱动框架,提出了一种简单的测试框架.只需编写少量脚本即可实现复杂的测试.测试框架降低了测试成本,提高了效率和质量.     

跳变计数法测试置信度的分析

提出一种新的估计跳变计数测试置信度的方法,分析了置信度标准的一些性质,用有限状态自动机建立了测试过程的模型,用马尔柯夫链描述了自动机状态间的相互转换,在充分考虑随机信号的真实统计性的基础上,根据电路输出数据的概率分布特性,求出了测试置信度与测试序列长度间的相互关系,实验表明,理论数据与模拟结果非常吻合。     

桩破坏标准探讨

本文讨论了几种常用的试桩破坏标准;根据大量试桩资料建立了一种双曲线拟合法破坏标准;并提出了利用该标准对工程桩作压载试验确定其承载力的有关建议。