基于路径引导的回归测试用例集扩增方法

为了全面测试演化软件,回归测试通常需要生成新的测试用例。concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过生成测试数据来执行程序的所有可行路径。回归测试中,由于concolic测试关注于程序本身,没有利用已有测试用例和软件演化信息,导致生成大量无效测试数据,浪费资源和时间。为解决此问题,提出一种基于路径引导的回归测试用例集扩增方法。该方法将目标路径作为引导,根据软件演化信息选择有利于覆盖目标路径的测试用例,利用已有测试用例跳过重叠初始子路径,对后续目标子路径进行concolic测试并生成覆盖目标路径的测试数据。案例分析表明,本文方法相比传统concolic测试,本方法在覆盖程序可行路径的同时,可有效减少concolic测试路径,提高测试数据生成效率。     

用于GUI软件的测试工具

为提高GUI软件测试的效率、降低软件成本,提出一种针对GUI软件的测试工具.该工具由测试配置设定模块、测试用例设计模块和测试用例执行模块组成.首先根据测试需求进行测试配置设定生成INI文件,然后根据INI文件内容将测试对象窗体中需要测试的控件及属性设定到测试用例设计界面中,在界面中进行测试用例设计,并将设计数据保存到XML文件中,测试用例执行模块通过读取XML文件中的数据完成测试用例的自动执行,同时进行测试结果判断,最后生成测试报告.测试人员只需输入数据,不用编写测试脚就能实现测试用例的自动执行,能减轻测试人员负担,提高软件测试效率.     

航空通信电台软件测试系统的设计与实现

软件自动化测试对于航空通信电台至关重要,针对电台测试环境的搭建困难、测试用例的设计与执行的脱节、仪器仪表的手工操作造成测试数据难以复用等问题,提出了一种集成计算机、通信总线、仪器仪表和被测电台的解决方案,并开发了模块化的软件程序来解决上述问题;最终,该系统实现了智能辅助编写工具和“一键式”自动测试,还保存并回溯了测试结果;为测试人员针对电台测试提供了一款功能强大,界面友好,灵活开展测试任务,批量执行测试用例的自动测试平台;实际测试结果证明,该平台明显提高了测试人员的工作效率,实现了自动化测试与批量测试的基本要求。     

基于模型的测试用例生成方法

在大量软件出现的今天,除开软件的功能是否完善外,对软件本身提出了更高的安全性和稳定性要求;一款软件在上线前需要进行大量的测试,以便提升软件的质量;由于开发人员参与了软件的研发及上线流程,导致了看待软件问题的局限性,而测试人员在编写测试用例时,往往由于依据文档的不一致性,使得测试用例的价值大打折扣;并且在实际软件的开发流程中,测试环节与开发严重脱节;往往只是为了出相应的测试报告而去测试,偏离了测试的初衷;针对以上问题,提出基于模型的用例生成方法,能够基于工作流程图、判定表、状态转换等多种测试方法,并在该方法中应用边界值与等价类的思想,够贯穿整个软件研发的生命周期,在软件研发初期就能够参与测试,提出设计方案的不足;并且能够自动生成测试用例,提高测试人员的效率.     

一种基于正交表的功能组合测试设计方法

软件测试在目前的软件开发过程中的地位日益重要。特别是目前的软件功能愈来愈多,必须保证各功能组合之间不产生冲突。如果以无条件地测试所有功能组合,则测试项目数会呈指数级增长而使得实际测试不可能。为了抑制这种组合的发散,利用正交表来设计测试是一种有效的方法。本文阐述了一种基于正交表的功能组合测试设计方法和应用,并开发了相应的测试用例生成工具,基于正交表原理,对测试对象程序的各功能项进行组合,确保用较少的测试用例达到较大的测试覆盖率。实验表明,与传统手工测试用例设计方法相比,利用该方法生成的测试用例覆盖率提高2倍,Bug发现率增加3倍,测试用例设计工时压缩为1/6。     

一个支持持续集成的移动应用功能测试框架*

为了更加有效地检测移动应用缺陷,论文提出了一个自动化测试框架;该框架包含了常见GUI控件识别、测试用例生成,排序以及事件流模型的API。框架根据应用程序GUI运行时状态信息生成可执行的测试用例;这些测试用例可以组织成测试套件。一个实际案例证明了该框架如何贯穿整个测试流程,降低测试自动化工作的复杂性。     

“魂芯”DSP配套基础软件的自动化测试平台

介绍了一种基于调试系统的回放式自动化测试平台,可以自动化测试“魂芯”DSP配套软件单元.该测试平台以主机调试器为测试对象,通过主机调试器调试应用程序,间接地测试编译器、软件模拟器、调试链接服务软件等软件单元.该平台可以方便地添加测试用例,并自动批量回放测试用例.利用本测试平台,可以大大减少“魂芯”芯片配套软件的测试工作量.     

SDN数据平面软件一致性测试用例生成方法

SDN （Software-Defined Networks）发展的目的在于解决架构复杂且分散的传统网络出现的问题,使网络具有更强的灵活性.P4编程语言的特征在于用户可以直接根据自己对处理数据包的需求定义P4程序,然后经过编译通过适配文件将用户需求配置到网络设备.面向P4编程语言的SDN数据平面一致性测试本质上是将面向P4程序的一致性测试用例发送给P4网络设备,其目的在于获取实际输出和预期输出的一致程度.一致性测试用例是执行一致性测试的载体,而传统的人工构造测试用例是一项繁琐耗时费力的工作.本文重点分析了面向P4编程语言的SDN数据平面软件一致性测试用例设计原则和一致性测试用例生成方法,给出了一致性测试用例覆盖标准,设计了命令信息实体结构和测试用例实体结构,以装载P4程序的simple_switch虚拟交换机为测试对象说明一致性测试用例生成过程,实现了一个用于P4网络设备一致性测试的测试用例自动生成工具并验证了该工具自动生成测试用例的有效性,实现了一致性测试用例构造过程简易性.     

基于通信协议的接口测试用例自动生成框架

为了实现对软件配置项和软件系统的接口测试的测试用例自动生成,建立了基于通信协议的接口测试用例自动生成框架,对该生成框架的输入模型和算法集合进行研究。提出了基于通信协议的接口测试用例生成框架的输入模型,并在输入模型中建立数据帧之间的一级关联矩阵和数据帧内字段间的二级关联矩阵。以输入模型为基础,说明发送端和接收端的接口测试用例自动生成算法。结合实际项目中的通信协议,介绍了如何将通信协议信息转换至输入模型,如何通过算法集合自动生成测试用例集。实验结果表明：基于通信协议的接口测试用例自动生成框架生成的接口测试用例可以替代人工生成的接口测试用例,极大地提高了软件接口测试工作的效率。     

代码覆盖测试技术在MODE-S应答机中的应用

代码覆盖测试技术可用于结构覆盖测试和程序复杂度分析,代码覆盖测试技术可用于测试用例设计,提高软件测试效率,指导编写高质量的程序代码,代码覆盖是软件测试的底线.代码覆盖测试技术及方法的研究,为软件覆盖测试提供了理论依据.在Mode-S应答机项目中应用TRACE覆盖测试技术,确保了产品满足适航软件标准RTCA/DO-178B LEVEL B的要求.     

软件回归测试中的自动测试生成方法

软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用例集的方法。实验证明,该方法生成的测试文件能在原有环境下成功执行,能实现自动测试范围的扩大或缩小,以及测试时间的增加或减少,为软件回归测试提供了有用的自动化工具。     

数据库访问控制软件的自动化测试研究

配置项测试在提高军用软件质量上起着重要作用。在测试任务中,数据库访问控制软件的自动化测试工作能为测试人员提供极大的方便。本文在分析了该软件的功能需求特点后,介绍了自动化测试用例设计的思路,并阐述了针对该软件的自动化测试策略,接下来描述了数据库访问控制软件的自动化测试程序的框架构成。通过实践证明该程序能够完成数据库访问控制软件的自动化测试,有效地提高测试效率。     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

基于全数字的航空机载软件验证平台研究

为解决机载软件验证与开发环境冲突、软件验证独立性及软件联合仿真验证的问题,提出了一套基于全数字仿真技术的航空机载软件验证平台设计方案。即基于企业内各专业已有的全数字仿真系统、多学科仿真模型,设计了一套以数据分发服务为基础的架构,实现系统之间的互联互通;考虑软件测试要求及测试用例的可读性、可维护性需求,提出了基于测试场景的测试用例设计方法,实现测试场景与测试用例数据的分离,对验证工作的分工安排、工作交接维护具有较大的意义;对已有的企业级测试管理系统进行扩展,打通软件需求、设计、测试项、测试场景、测试用例之间的关联关系,实现软件开发验证的协同管理。     

基于QTP的企业级应用软件自动化测试方法

针对目前软件版本频繁升级,测试周期不断压缩,测试工作量大的问题,结合一款企业级应用软件,基于QTP技术平台,搭建了自动化测试框架.首先,通过了解QTP的工作原理,结合企业级应用软件特点,设计了一款合适的自动化测试框架;然后,通过设计测试用例,编写脚本,执行脚本等过程实现了自动化测试.实践表明当自动化测试执行次数越多,自动化测试耗时基本是手工测试耗时的15%,即自动化测试更适合用于回归测试中.通过自动化测试框架的使用,解决了在短时间内完成大量测试用例覆盖的问题,保证了发布软件的质量,提升了测试效率.     

个体软件过程简介

个体软件过程(PSP)为工程师做软件工作提供了一个受过训练的个人框架。当工程师使用PSP时,理想的过程目标是按进度和费用生产没有缺陷的产品。PSP包括方法、表格和脚本,以此来指导软件工程师计划、测量和管理他们的工作。PSP可用于任何编程语言或设计方法,以及软件工作的许多方面,包括编写需求、运行测试用例、定义过程和修改缺陷等。文章详细描述了什么是PSP,以及它是如何起作用的。     

随机测试中测试数据的编码方案

1 引言软件测试过程中,测试用例的生成是软件测试的关键。目前,测试用例的生成主要靠手工完成,因此测试效率低下,软件成本居高不下。为此,迫切需要开发一些测试用例的自动生成工具,提高软件测试效率,降低软件成本,保证软件质量,提高软件测试的自动化程度。随机测试是对软件进行操作性测试,即测试用例是从程序的输入域中随机选择,让错误自己暴露出来。在某些情况下,随机测试技术比启发式测试技术效果要好得多。所以在软件测试中占据着重要地位。但是,目前国内外对随机测试数据自动生成的研究非常不成熟,尚无一套完整的方案解决此     

基于EDPN的类测试框架及测试用例生成技术的研究

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。     

软件可靠性测试方法研究

在软件的可靠性测试中,测试结果会受到测试用例的影响.为了得到最佳的结果,就需要公平选择测试用例,建立测试用例集,进行软件的可靠性测试.利用软件的运行剖面和软件失效数据进行软件可靠性评估是较可行的方法.     

基于AutoIt和Flow Chart的测试用例生成与管理

随着软件规模的日益扩大,模块间的复杂性也逐渐增多,使得测试用例的生成和管理成为一个重要而难以解决的同题．快速有效地生成测试用例并对其进行有效的管理将对提高实际测试的效率上有较大的改变.文中采用Autolt语言开发一个测试用例管理工具,通过Flow Chart的方法快速生成测试用例,并把用Autolt语言编写的自动化测试用例脚本存储于结构化的XML文件中,通过这种方法使得更加容易地管理和维护测试用例,在实际的项目测试中有着很好的实践效果,极大地改进了测试的效率和成本.