基于STAF的故障注入自动化测试平台

为提高高端容错计算机故障注入自动化测试的执行效率,基于开源的自动化测试工具STAF,设计一个可集成多种故障注入工具的分布式自动化测试平台。论述分布式运行环境与平台软件架构,给出任务控制算法的流程,对故障注入模块进行分析。实验结果表明,该平台可提高测试任务的复用性,缩短测试时间。     

一种模型驱动的协议测试故障注入引擎设计

故障注入是一种测试协议实现容错能力的有效方法,而基于模型的故障描述方法能够提高测试的可视性和有效性。提出一种面向协议测试的故障注入引擎,并采用模型驱动的方法,通过测试模型指导故障注入活动,具有移植性强、简便高效等特点。     

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

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

服务接口测试自动化工具的研究

在面向服务的架构中,软件功能通常被封装为服务,并以开放可编程接口的方式提供应用.因此,服务接口的正确性和可靠性对于服务理解、重用和集成至关重要.随着软件即服务的思想被广为认可,互联网上越来越多的软件应用以服务接口方式提供开放式访问.面对众多的服务接口,如何进行高效且有效的测试是一个亟待解决的问题.为此,提出了一种基于模型驱动的自动化测试方法,首先采用接口语义契约模型对被测服务接口建模,然后基于接口模型和测试覆盖率需求为单个服务和组合服务生成测试数据和测试用例.在此基础上,设计并实现了AutoTest自动化测试工具,该工具采用多种算法用于优化测试用例生成,且支持图形化测试计划编排和跨语言测试代码生成.实验结果表明,AutoTest能够有效支持大批量测试用例的设计和生成,根据OED(正交实验设计)算法生成的测试用例与IPO组合算法得到的用例相比,具有更为理想的测试覆盖率.     

模型驱动的VxWorks操作系统故障注入与鲁棒性测试研究

VxWorks 是目前广泛应用于机载、车载等复杂嵌入式系统的操作系统,它为应用程序提供了强大的故障捕捉和缺省的故障处理服务,并提供应用程序可挂载的故障处理接口。由于故障产生的时机和机理复杂,因此如何控制操作系统使其按照应用程序的测试需求抛出相应的故障,从而触发应用程序的故障处理,是对应用程序开展鲁棒性测试时需要解决的一个关键问题。本文以 VxWorks 嵌入式实时操作系统中捕捉的故障作为研究对象,提出了由故障建模、故障注入、测试控制和鲁棒性判定组成的故障设计与测试方法,以支持对基于 VxWorks 的应用程序开展鲁棒性测试。该测试方法将模型驱动测试与故障注入技术相结合,在平台无关层次描述故障,针对操作系统中对相应故障处理方式的不同,本文设计了函数替换和变量修改两种故障注入方法,并在VxWorks 5.5 上进行了实验,确认了相应方法和技术的有效性。     

基于机内测试的一个故障注入系统

在综合国内外相关研究的基础上,详细分析了机内测试(BIT,built-in test)验证和评价的重要性、迫切性及其实用价值,并着重阐述了关于BIT验证和评价的故障注入系统设计与实现.     

基于测试性设计的软件故障注入研究综述

故障注入技术分为硬件故障注入技术和软件故障注入技术,是保证装备测试性设计阶段验证其可靠性的重要手段,而硬件故障注入因为有其致命的缺点,例如硬件在注入故障后可能会给装备带来永久性损害而大大增加了实验或维修成本等问题;软件故障注入则拥有灵活性强,程序易修改,不会对装备造成损害等诸多优点,使得软件故障注入逐渐成为此项技术的研究热门;文章以近十几年国内外研究文献为基础,以软件故障注入为重点,从研究现状、存在问题以及解决方法等几个方面进行综述,以希望为今后在这方面的研究的科技工作者打下良好的基础。     

一个基于数据共享的接口开发平台

在RESTful API(以下简称接口)开发的设计、编码、测试、维护工作现状中,接口文档工具、接口Mock工具、接口测试工具和接口自动化测试技术的使用,产生了工作重复、耗时、难度大、数据不易分析的问题。为保障产品质量的同时进一步提高工作效率,提出了一个基于数据共享的接口开发平台方案。通过共享接口设计过程中录入平台的数据,在接口编码、测试、维护工作过程中,充分复用接口数据,解决了工作重复问题。通过整合这些辅助工具和技术到同一个平台中,降低了工作难度,简化了工作流程。数据集中存储、管理,解决了数据分散、不利于项目分析的问题。实验结果表明,使用该平台后,工作效率提高了58.33%。在实际项目运行中,达到了预期效果,缩短了项目周期,节省了项目成本,增加了企业收益。     

基于模型驱动的功能测试平台研究

研究了基于模型驱动方式自动产生数据用例的功能测试平台,研究测试模型的建立,提出了基于Windows GUI环境下该功能测试的体系结构,分析了其中的测试脚本开发平台,设计并实现了一种基于模型驱动的功能测试的动作捕获与回放技术的原型工具,该工具能生成测试脚本,并能通过运行录制下的测试脚本动态回归测试基于图形用户接口程序,实际应用系统的测试效果验证了该工具的有效性.     

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

A PIN-based dynamic software fault injection system

Fault injection plays a critical role in the verification of fault-tolerant mechanism, software testing and dependability benchmarking for computer systems. In this paper, according to the characteristics of software faults, we propose a new fault injection design pattern based on the PIN framework provided by Intel Company, and develop a PIN-based dynamic software fault injection system （PDSFIS）. Faults can be injected by PDSF1S without the source code of target applications under assessment, nor does the injection process involve interruption or software traps. Experimental assessment results of an Apache web server obtained by the dependability benchmarking are presented to demonstrate the potentials of PDSFIS.     

智能移动终端软件自动化测试平台研究

分析了智能移动终端软件的自动化测试方法,并提出了一个智能移动终端软件测试平台。详细介绍了该平台的体系结构,并阐述了其关键技术——脚本技术的设计与实现,最后给出了一个移动终端测试的实例。     

支持Web软件用户界面自动生成的交互模型

讨论了Web软件用户界面的特点,提出了适应这些特点的界面交互模型;该模型用图形化的方式表达用户与软件界面之间的交互任务,并定义这些任务与相应域对象之间的关联;该模型支持Web应用界面代码的自动生成。     

Bytecode fault injection for Java software

Developers using third party software components need to test them to satisfy quality requirements. In the past, researchers have proposed fault injection testing approaches in which the component state is perturbed and the resulting effects on the rest of the system are observed. Non-availability of source code in third-party components makes it harder to perform source code level fault injection. Even if Java decompilers are used, they do not work well with obfuscated bytecode. We propose a technique that injects faults in Java software by manipulating the bytecode. Existing test suites are assessed according to their ability to detect the injected faults and improved accordingly. We present a case study using an open source Java component that demonstrates the feasibility and effectiveness of our approach. We also evaluate the usability of our approach on obfuscated bytecode.     

天气雷达故障测试平台远程控制软件设计

针对天气雷达故障测试平台缺乏远程控制手段而导致使用具有局限性的问题,开发了可远程控制此平台的软件;基于天气雷达故障测试平台内置示波器、功率计、频谱仪、信号源4种仪表的参数设置需求和板卡驱动方式,软件采用了标准C/S架构的设计方法,由用户层、驱动管理层、仪表驱动层三部分组成;在驱动管理层中,着重研究了天气雷达指标测量的流程、调用驱动的接口以及测量数据的处理方法;使用该软件远程控制天气雷达故障测试平台进行了天气雷达指标的测量,测量结果表明远程测量值与现场测量值的误差极小;软件具备一定的可靠性,可投入天气雷达故障诊断和定标使用.     

Experiments on six commercial TCP implementations using a software fault injection tool

TCP, the de facto standard transport protocol in today's operating systems, is a very robust protocol that adapts to various network characteristics, packet loss, link congestion, and even significant differences in vendor implementations. This paper describes a set of experiments performed on six different vendor TCP implementations using ORCHESTRA, a tool for testing and fault injection of communication protocols. These experiments uncovered violations of the TCP protocol specification, and illustrated differences in the philosophies of various vendors in their implementations of TCP. The paper summarizes several lessons learned about the TCP implementations through these experiments. © 1997 John Wiley & Sons, Ltd.     

基于蚁群算法的软件接口测试用例生成

目前存在的自动化生成接口测试用例的方法有参数配对覆盖法、基于测试依据集的测试用例生成法等,这些算法在用例有效性与耗费资源方面没有足够优势,鉴于此提出基于蚁群方法的软件接口测试用例生成算法,对蚁群算法应用的前提、测试数据生成方法、测试用例生成方法等进行研究。实验分析了算法的优势和不足,提出了有待改进的部分。