自动化测试的研究和探讨

软件测试是软件质量保证的一个重要组成部分。介绍了软件测试的分类和自动化测试体系框架、流程设计,客观地探讨和分析了自动化测试充分性准则,在与软件手工测试做对比的情况下,得出了自动化测试的优点和其适应范围,并对今后自动化测试和手工测试的发展方向和使用范围进行了展望。     

面向服务器集群的自动化测试监控平台的研究和实现

随着测试流程的不断规范以及软件测试技术的进一步细化,软件测试自动化日益成为一种重要技术。目前在服务器集群的环境下,自动化测试相对脆弱,维护比较困难,如何有效地对自动化测试进行监控管理,是需要研究的重要问题。本文结合软件自动化测试和Web开发框架的相关技术,介绍阿里巴巴中文站自动化研发协作平台,研究并实现面向服务器集群的自动化测试监控平台,平台主要包括部署和监控测试环境2大功能。实践证明该平台能加强对测试服务器的统一管理和监控,大幅提高测试效率。     

分布式测试平台任务管理子系统的设计与实现

提出了一种分布式软件自动化测试平台,通过有效利用Internet网络上的空闲客户端,实现在Internet上的测试任务调度和分配,测试任务的自动完成以及测试结果的收集和分析等,并完成了平台的核心模块。这种实地的软件测试比在模拟环境下具有更好的效果,有效地解决了传统软件测试的带来的一些问题,满足了用户对软件进行快速有效测试的要求。     

软件测试自动化技术在P12000平台中的应用

从P12000平台系统测试的实际需求出发,将自动化软件测试技术运用到P12000平台中。在对IBMRational软件测试工具相关功能简介的基础上,重点描述了运用该测试工具对P12000平台进行的功能测试和性能测试,包括测试内容、测试方法和测试结果。实践证明,自动化软件测试技术的合理运用可以提高软件测试的效率,提高软件质量。     

基于BDD 的自动化测试框架研究

敏捷开发模式的盛行掀起了自动化测试的一轮热潮,测试和开发合作越来越密切。本文研究的自动化测试框 架,将BDD 的敏捷开发理念与软件测试相融合,通过统一的Gherkin 语言定义验收测试标准,帮助业务人员、测试人员和开发 人员形成对需求明确统一的认识,然后通过web driver 测试代码实现可执行的验收测试,以TDD 的方式实现产品代码。该框 架使用Specflow、Selenium 和MsTest 等测试工具,真正实现了自动化测试,大大减少了手工测试的压力,促进开发测试过程中 软件开发涉众之间的沟通,及时得到用户反馈,满足快速发布产品的需求,提升产品质量。     

基于云环境的分布式软件接口自动化测试

软件测试是保证软件质量,提供可靠服务的重要技术手段;目前基于Web Service的分布式软件越来越多,其测试技术手段也越来越受到关注;Web Service的分布性和多样性使手工测试变得非常低效,因而需要不断提高Web Service测试的自动化程度;另外,云计算因其计算成本低、可伸缩性强的特点为自动化测试提供了新的支持环境;本文结合Web Service的测试需求,首次提出了基于云环境的Web Service接口自动化测试的技术框架,分析了框架内原子Web Service、组合Web Service测试的关键技术,并研发了基于CloudStack云平台的自动化测试的原型系统;实验结果表明,文章所提出的基于云平台的Web Service自动化测试方案可行且提高了测试效率。     

USB接口软件自动化测试实现

随着软件技术的发展,手工测试已不能满足软件测试的要求,软件测试自动化是软件测试的发展趋势。结合USB接口软件功能测试的特点,对其进行了自动化测试需求分析;确定了自动化测试的范围;在Microsoft Visual Studio.net平台下,基于组件开发的思想,用C#语言开发了USB接口软件自动化测试系统。并经过测试实践,验证了该自动化测试系统的可靠性。通过对手工测试和自动化测试的对比,展示了该系统的优越性。     

基于数据驱动自动化测试框架研究和实现

软件测试是保障软件可靠性,提高软件质量的重要手段。随着软件规模的扩大,软件复杂性的提高,软件测试技术的不断发展,越来越多的测试人员发现传统手工测试成本高、执行繁琐、效率低等特点已远远不能满足现实的需求。为了克服手工测试的这些缺点,自动化测试技术被广泛地引入进来,并逐渐成为软件测试的发展方向。而如何使得软件测试能够实现自动化,为了能够使得自动化测试能够执行方便、易懂、易维护等特性,测试框架的概念也就应运而生,通过框架的概念能够把软件测试过程中的各个关键节点进行拆分,让后通过框架的相互关联性进行测试执行。     

一种面向数值模拟软件的持续集成平台

随着软件复杂度的增加和交付需求的变化,快速集成和自动部署成为高性能数值模拟软件推广应用的瓶颈。为满足软件构建和发布的差异化需求,简化从用户需求到软件发布的工作流程,基于Jenkins设计持续集成平台,实现软件静态审查、编译、测试和发布流程的自动化,全面记录软件构建日志和测试结果。利用Docker技术将构建环境容器化,实现环境的快速搭建和配置管理,满足多样化目标环境需求。该平台的实际应用效果显示,基于该平台的产品发布周期相比之前缩短约75%,可极大简化软件安装和部署难度。     

基于STAF自动化测试框架的研究与应用

随着软件功能实现技术越来越复杂,软件测试领域迫切需要具有自动化、多平台、开销小的自动化测试框架,STAF的出现很好地解决了这个问题。提出一种基于STAF的自动化测试框架,并进行模拟实践,采用ATT工具设计自动测试引擎,通过模拟实验测试,构建基于STAF的自动化测试框架。测试结果显示：在不同环境下,该框架均具有软件测试自动化程度高、测试效率高,易于管理、维护和可扩展等优点。     

基于USB接口的AFDX网络TAP卡设计与实现

AFDX网络以其传输时间确定性、高可靠性和实时性等优点,成为新一代大型飞机航空总线的最佳选择之一。作为一种具有巨大应用潜力的新型的机载网络,AFDX网络的仿真测试至关重要。针对AFDX网络系统提出了一种TAP（test access point,测试访问接口）结构的测试卡设计方案。在设计的过程中,充分考虑了接入方式对网络传输的影响和数据捕获速率对主机接口的要求,采用串联植入方式设计出一款基于USB2.0接口的TAP卡及协议解析和数据统计软件,为AFDX网络的性能评估和系统级验证提供了方法和依据。通过在AFDX仿真验证平台中的实测结果,证明了该TAP卡具有灵活性强、测试精度高、实时性强等特点,完全满足AFDX网络测试及监控需求,为相关测试系统的研制提供了设计思路和实践经验。     

湖南农业信息化综合服务平台测试方法分析

湖南农业信息化综合服务平台是综合运用信息技术、通讯技术与电子商务技术,面向湖南广大农村地区进行信息化推广与宣传的平台。当前系统开发已进入重要的测试阶段,本文从硬件和软件两个角度,分别阐述服务平台进行测试的策略与方法,特别论述自动化测试工具Loadrunner在软件测试中的重要作用,并对测试结果进行了相应分析。     

Issues in using model checkers for test case generation

The use of model checkers for automated software testing has received some attention in the literature: It is convenient because it allows fully automated generation of test suites for many different test objectives. On the other hand, model checkers were not originally meant to be used this way but for formal verification, so using model checkers for testing is sometimes perceived as a “hack”. Indeed, several drawbacks result from the use of model checkers for test case generation. If model checkers were designed or adapted to take into account the needs that result from the application to software testing, this could lead to significant improvements with regard to test suite quality and performance. In this paper we identify the drawbacks of current model checkers when used for testing. We illustrate techniques to overcome these problems, and show how they could be integrated into the model checking process. In essence, the described techniques can be seen as a general road map to turn model checkers into general purpose testing tools.     

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

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

综合化航空电子系统网络传输延迟测试软件设计

网络传输性能测试是综合化航空电子系统研究与设计过程中的重要工作.结合综合化航空电子系统网络传输性能测试需求,将快速原型法和自底向上法相结合,设计并实现了模块化的网络传输延迟测试软件,为航空总线网络的进一步改进提供了自动化测试验证手段.应用过程表明,该软件组合调用灵活方便、易于继承、便于检测和维护,能较好地满足综合化航空电子系统网络传输性能测试.     

星载嵌入式软件全数字仿真开发验证平台

为了应对当前航天器软件功能日趋复杂与软件研制周期短、对软件可靠性和安全性要求高的矛盾,同时为了满足国产化自主可控的需求,在国产Linux操作系统下,以QEMU的 SPARC V8指令集模拟器为基础,解决了SOC2012片内外设与A6017仿真等关键问题,搭建了一种星载嵌入式软件全数字仿真开发验证平台;提出了通过共享内存解决方案,提高QEMU指令集仿真内核对外围IO空间读写仿真效率;该平台已经用于某卫星型号控制分系统软件和星务软件测试,相较于基于硬件的测试平台,该平台具有更好的可重用性和快速搭建性,能够大大降低硬件测试的风险和成本,同时具备更强的可控性以及更丰富的调试和测试手段。     

基于API和Postscript的图形自动化验证方法

当今,软件测试工程师越来越倾向于自动化测试的研究工作。自动化测试主要由测试用例的设计、执行测试和验证三个模块组成。而验证模块实现上的困难使得自动化研究陷入了举步维艰的境地。特别是现有的自动测试工具都不能对图形对象进行有效的对比验证。因此文中提出一种自动验证的技术,用于解决屏幕图像、纸质输出图像的验证问题,并借助PowerPoint以实例加以论述。     

高速列车牵引传动系统故障测试与验证仿真平台研究

牵引传动系统作为高速列车能量传递与转换的核心部分, 是保障高铁安全稳定运行的关键系统之一. 故障测试与验证平台是确保实时故障诊断技术在高速列车上有效应用的重要手段和途径. 围绕高速列车牵引传动系统故障测试与验证平台中面临的挑战性问题和关键技术, 本文从故障注入、仿真可信度评估、算法性能评估和仿真平台实现等方法和技术方面进行分析, 并针对上述难题概述了一些解决方案, 提出并构建了一种集高速列车实时仿真、故障运行行为逼真模拟以及随机故障测试和故障诊断算法评估于一体的牵引传动系统故障测试与验证实时仿真平台. 最后, 总结展望了高速列车安全监测验证平台未来研究方向.     

面向适航标准的机载软件测试验证工具综述

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证（DO-331）和形式化方法（DO-333）三个维度对工具的功能、特性及应用进行了详细介绍,并对其发展现状进行小结;总结机载嵌入式软件测试验证及其工具研发中存在的问题,并对其发展趋势进行了分析。     

基于RIA的遥感信息系统的压力测试实现

遥感信息系统相对于传统的软件系统有自己的特点,随着遥感信息系统的广泛应用,它的性能也越来越引起人们的广泛关注。Silverlight是极为热门的一种RIA开发技术,一个使用Silverlight技术的遥感信息系统通常是由大量终端用户同时使用的,传统的手工测试已经不能快速有效地解决问题。提出了一种借助自动化测试工具LoadRunner11.00进行压力测试的方法,对某个使用Silverlight技术的遥感信息系统进行自动化压力测试,并通过分析测试结果数据来调整和优化软件系统的性能。