基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

浅谈软件测试用例设计

在软件开发项目中,测试用例的设计起着至关重要的作用,它是软件测试全过程的核心,也是测试执行环节的基本依据.本文从测试用例的重要性,测试用例设计的基本原则及对测试用例认识的误区等方面对测试用例的设计进行了简要的阐述。     

基于BDD的数据驱动自动化测试方法

针对数据驱动的测试方法中测试用例不能准确测试用户需求,以及测试脚本难以编写的问题,在整个测试过程中融入BDD的思想。使用通用的自然语言来编写数据驱动的测试用例,并根据场景中的步骤进行脚本的编写,从而使测试结果更加准确,提升测试的质量,简化脚本的编写。     

测试用例设计方法分析

本文通过分析测试对软件质量的影响,强调了测试用例的重要性,并讨论了测试用例设计的主要方法.     

基于消息交互的测试用例编写方法的实现

在编写自动化测试用例时,消息交互流程的逻辑代码是测试中必不可少的关注点,同时消息接口及其上所携带的消息内容也是测试主要关注点。本文介绍了一种针对消息交互的测试用例编写实现方式,可以较好的改善同类用例的可读性,从而使得用例的编写和维护变得简单、明确。     

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

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

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

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

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

基于工作流软件测试方法的研究

在测试工作流软件时,采用业务流程作为基本的测试用例单位,采用基于路径和节点结合的方法进行测试用例的编写,大大提高了业务流程中的审批节点、流程走向、流转条件的覆盖,减少了工作流业务流转方面的缺陷,提高了工作流软件测试的完备性和充分性。     

基于功能的数字接口电路故障诊断方法研究

文章提出了一种数字接口电路故障诊断方法,利用被测件自身实现的电路功能对被测件的硬件通道进行单一测试用例、复合测试用例、针对性测试用例等测试,最终定位故障器件。该方法不改变被测件的技术状态,在提高自动化程度的同时降低了故障误判率。     

汽车统一诊断服务诊断协议栈网络层测试方法

提出了一种基于CAN总线的汽车统一诊断服务(UDS)诊断协议栈开发过程中的网络层功能测试方法.利用AutoCAN总线设计工具,将位于PC机的上层测试仪与搭载有被测协议栈的下层测试仪连接,形成实际总线测试网络.通过参数分层法,结合实际被测协议栈通信要求,建立测试用例集,并据此编写测试脚本和仿真运行.通过监控每一条测试用例的报文流记录,判断其是否符合测试要求.该方法能够实现UDS诊断协议栈的网络层测试,验证网络层是否符合国际标准.     

一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用

以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。     

结合需求与反馈的动态测试用例优先级排序方法

为提高软件测试的缺陷检测速率,提出结合需求与反馈信息的动态测试用例优先级排序方法.根据需求优先级和需求是否变更对测试用例优先级进行初始化,执行过程中结合需求相关性和反馈信息动态调整未被执行的测试用例的优先级,直到测试用例执行条件跳出为止.在GPSking中的验证结果为:本方法的APFD为68.73%,而测试用例按被创建顺序的APFD为51.4%,仅采用需求优先级静态排序的APFD为67.5%.结果表明,该方法能很好地提高缺陷检测速率.     

一种分布式可视化Dubbo接口测试平台

随着互联网金融的发展,金融业务变得更加复杂,产品功能迭代更加快速.为了支持业务的发展,金融应用开始进行支持Dubbo协议的开发.现有的接口测试框架和工具在支持Dubbo协议、多人协作及测试用例维护及数据分析上都存在问题:首先,没有很好的工具支持Dubbo协议的测试,已有的Dubbo测试框架无法很好地推广;其次,复杂业务会涉及多个应用,目前的框架很少考虑多系统间的自动化配合;再次,单机版自动化测试工具或纯编码方式的自动化测试框架不利于多人协作编写自动化测试用例及脚本的维护;最后,数据分析一般是查看单个子系统测试用例的执行结果,无法很好地对数据进行全局分析.为了更好地管理大批量用例及支持多子系统版本迭代,在已有老框架基础上,使用分布式技术设计并实现了一个灵活的可视化的Dubbo接口自动化测试平台:基于界面操作,提供基于可视化的数据驱动及关键字驱动方式,支持编写复杂测试用例,并基于接口解析的方式,自动生成测试用例.详细表述了可视化的Dubbo接口测试平台的架构、用例管理及用例执行;展示了新平台与老框架的耗时对比、用例增长对比和新平台日常自动化执行情况.     

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

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

并行化智能模糊测试

针对目前智能模糊测试技术中整体测试所需时间较长以及生成单个测试用例漏洞触发能力较弱的问题,该文提出了一种可用于并行化环境中的路径取反算法和一种加入随机数据的复合测试用例生成方式。该路径取反算法给每个测试用例赋予一个边界变量,利用该变量限定每个测试用例可进行取反操作的范围,同时在该范围中对多个条件进行取反。该复合测试用例生成方式借助传统模糊测试技术生成随机的漏洞触发数据,将该随机数据与混合符号执行生成用例相结合,从而生成复合化的测试用例。同时该文设计并实现了一个并行化智能模糊测试系统———谛听,并利用该系统对3个应用软件进行了测试,共生成测试用例203 602个,触发软件漏洞2个,其中一个为首次被发现的零日(0-Day)漏洞。理论分析与实验表明:该路径取反算法可有效应用于并行环境中,从而缩短整个测试所需时间并生成较多测试用例;同时该复合测试用例生成方式可有效提升测试用例漏洞触发能力。     

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

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

基于UML活动图的Web应用测试用例生成

Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例.针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数量爆炸,从而提高了Web应用自动化测试用例生成的可行性.     

用于测试用例生成的遗传算法改进

在软件测试技术中,高效的测试用例生成是简化测试工作、提高测试效率的必要手段。传统遗传算法是一种多点搜索和采用交叉操作的技术,有效应用于测试用例生成。遗传算法虽然具有良好的全局搜索能力,但对于局部空间的搜索问题不是很有效。针对此问题,对传统遗传算法在适应度函数、遗传算子方面进行改进,提高该算法在局部空间的搜索能力,提出一种基于改进遗传算法的测试用例生成方法。实验结果表明,所提出的方法在测试用例生成的效率和效果方面优于基于传统遗传算法的测试用例方法。