面向对象程序回归测试策略研究

1 引言软件测试的基本过程是从单元测试、集成测试、有效性测试到系统测试。一般地说,回归测试属于软件维护的过程,当软件修改之后,回归测试用于确认修改的正确性,包括修改本身的正确性和未修改的部分未受到因修改而导致的不正确影响。关于回归测试的策略     

软件产品测试的有关问题

本刊是经授权公布中国软件评测中心(CSTC)产品测试公报的媒体之一,并于1994年9月开始在软件评测栏目中陆续刊登了其发布的产品确认测试报告。向读者介绍了国内自主开发的优秀软件产品测试结果。帮助读者全面深入地了解这些产品的质量特性,使他们根据自己的需要选购最适合于使用的软件。 产品测试报告的刊出,受到了众多读者的欢迎。不少读者经常来信来电询问:何为产品确认测试?目前市场中流行的各种产品评测名称的含义是什么?中国软件评测中心的产品确认测试与社会现有的各种测试有什么不同?如河去阅读和使用产品确认测试报告?为此,我们请中国软件评测中心有关技术人员作了如下简要的回答。     

基于Selenium的软件自动化测试的研究与应用

随着软件产业的不断发展,软件测试在软件开发中的地位越来越重要,而自动化测试工具的使用又极大地提高了软件测试的效率。本文介绍开源的自动化测试工具Selenium的基本组件及实现原理,并通过一个具体的案例来阐述其在B/S架构应用系统上进行自动化测试的过程,对软件自动化测试技术的深入研究具有一定的借鉴意义。     

基于Clonezilla的多系统自动化测试系统的研究与设计

本文研究并设计了一种基于Clonezilla的软件自动化测试系统“HUTLAB”.该系统包含有中控节点、测试主机集群、软件信息更新模块和镜像节点四个部分.模块间通过中控节点进行通信并接受中控节点的统一调度控制.本系统通过PXE启动的方式针对多虚拟机进行系统定制,能够较好的适应软件正式发布前的build版本在不同的版本系统上的兼容性、BATS(基本可用功能性)测试以及回归测试.并在此基础之上将其应用于某公司的软件自动化测试中,通过该系统的实施,能够有效提高软件测试的自动化效率,缩短测试周期,同时减少手动测试的工作量.     

面向对象软件的测试评估

软件测试的目的是发现错误,而不是确认其正确性,是为了增强人们对软件能够按照需求者的期望正确运行的信心,因此需要对软件测试质量进行度量.由于面向对象软件所具有的特性,面向对象软件的测试的度量相对于在过程测试中的测试度量已经不再适应.利用切片和领域的概念,通过多层次的测试度量来对面向对象软件的测试进行评估,该方法能够为改进对面向对象软件系统的测试过程和测试策略提供帮助.     

浅谈基于WinRunner的软件自动化测试

随着现代化软件开发技术的发展和软件功能需求日益复杂,软件测试已经成为软件开发的一个重要环节,本文介绍了用WinRunner进行软件自动化测试的过程,给出了自动化测试的基本步骤,并对其优缺点进行了简要概括。     

一种基于活动图的并发软件测试线索生成方法

分析并发软件的控制原理，提出了三个并发软件的基本测试策略。这三个策略给出了并发软件测试的基本原则：同步测试、关键覆盖和进程覆盖；接着提出了一种使用UML活动图对软件中并发控制过程建立模型图的方法；随后分析了并发软件测试难点即进程组合爆炸问题，给出了一种基于模型图生成测试线索集的方法，证明了按照生成的测试线索集测试并发软件既能解决进程组合爆炸问题，又能满足三个测试策略。通过对比得出本测试方法在易用性、适用性和稳定性等方面要优于基于状态图的测试方法；最后通过一个实例表明了应用本方法的可行性和有效性。     

软件重用与移植的比较研究

回顾了软件重用和移植方面的研究,并对其进行比较。其目的是对两个领域的共性进行分析,以期对以后的研究工作有所裨益。通过比较,发现软件重用和软件移植在几个方面具有共同的研究领域,包括分类、规格说明和测试、软件确认、软件程序的发行、工程管理等。可移植软件需要按其移植属性进行分类,其目的与软件重用分类不同,但它们可具有相同或类似的机制。同时指出,在软件开发过程中同时对软件移植进行综合考虑并不难,然而困难的是对其进行管理。     

软件性能测试策略分析与实践——以湖南农村信息化综合服务平台为例

本文以湖南农村信息化综合服务平台为具体案例,阐述了软件性能测试方面的相关概念,给出了一套具体可行的软件性能测试方案,重点描述了软件性能测试的基本过程并对软件性能测试策略进行深入剖析与详细评估。     

星载计算机嵌入式软件的自动化测试技术

星载计算机嵌入式软件具有特殊的应用领域和运行环境，要求极高的可靠性和安全性，因此系统软件在设计和实现中同计算机硬件一道大量的采用了一系列的客错机制，如看门狗、三取二等措施。特别是在错误处理和应用一级的客错特性主要是由软件来实现的。星载计算机软件既是嵌入式软件，又是容错软件，这使得软件的测试难度加大，一些隐蔽的缺陷难以发现。针对星栽嵌入式软件的以上特点，本文讨论了在确认测试阶段如何采用自动化测试技术来降低测试难度，节省回归测试时间，缩短产品发布周期，从而达到提高产品质量的目的。     

ARINC429总线通讯软件测试环境的构建

ARINC429总线是航空电子设备的数字总线传输标准,目前广泛应用于各种航空电子设备中,其有效、便捷、可靠的数据传输是保证设备之间资源共享和信息传输的重要前提;这里采用基于功能的测试方法和测试技术,探讨ARINC429通讯软件等效测试环境的构建,并提出被测软件确认测试环境的一种具体构建方法;该测试环境模拟被测目标软件实际运行环境,在无需系统其它硬件支持的情况下,完成ARINC429总线通讯确认测试,确保了数据在ARINC429总线上可靠的传输。     

Mutation Testing Applied to Estelle Specifications

Many researchers have pursued the establishment of a low-cost, effective testing and validation strategy at the program level as well as at the specification level. Mutation Testing is an error-based approach, originally introduced for program testing, that provides testers a systematic way to evaluate how good a given test set is. Some studies have also investigated its use to generate test sets. In this article, the application of Mutation Testing for validating Estelle specifications is proposed. A mutant operator set for Estelle—one of the crucial points for effectively applying Mutation Testing—is defined, addressing: the validation of the behavior of the modules, the communication among modules and the architecture of the specification. In this scope, these operators can be taken as a fault model. Considering this context, a strategy for validating Estelle-based specification is proposed and exemplified using the Alternating-bit protocol.     

Systematic testing and formal verification to validate reactive programs

The use of systematic testing and formal verification in the validation of reactive systems implemented in synchronous languages is illustrated. Systematic testing and formal verification are two techniques for checking the consistency between a program and its specification. The approach to validation is through specification: two system views are developed in addition to the program, a behavioural specification for systematic testing and a logical specification for formal verification. Pursuing both activities, reactive programs can be validated both more efficiently (in terms of costs) and more effectively (in terms of confidence in correctness). This principle is demonstrated here using the well known lift example.     

An investigation of statistical software testing

Software validation embodies two notions: fault removal and fault forecasting. Statistical testing involves exercising a piece of software by supplying it with input values that are randomly selected according to a defined probability distribution on its input domain. It can be used as a practical tool for revealing faults in a fault removal phase, and for assessing software dependability in a fault forecasting phase. In both of these, its efficiency is linked to the adequacy of the input probability distribution with respect to the test experiment goal. In this paper a mixed validation strategy combining deterministic and random test data is defined, and the theoretical and experimental work performed to support the strategy is reported. The quoted results relate to the unit testing of four real programs from the nuclear field. They confirm the high fault revealing power of statistical structural testing. Two main directions for further investigation of statistical testing are indicated by the reported work. These are described and solutions to the associated problems are outlined.     

民用航空器测试技术体系架构研究

分析了构建民用航空器测试技术体系的需求,提出了民用航空器测试技术体系架构,并分析了测试技术需求层、测试技术实现层、测试技术产品层、测试技术标准层、测试技术验证层和测试技术应用层等要素的实施途径,明确了民用航空器测试技术体系的构建方法,希望研究成果对于构建民用航空器测试技术体系有一定的指导作用。     

Automatic property‐based testing and path validation of XQuery programs

Property‐based testing has gained popularity in recent years in many areas of software development. The specification of assertions/properties helps to understand the semantics of pieces of code, and in modern programming environments, it can serve to test the program behavior. In this paper an XQuery property‐based testing tool is presented, which enables to automatically test XQuery programs. The tool is able to systematically generate XML instances (i.e., test cases) from a given XML schema, and to filter XML instances with input properties specified by the programmer. Additionally, the tool automatically checks output (respectively, input‐output) properties in each output instance (respectively, each pair of input‐output instances). The tool is able to report whether the XQuery program passes the test, that is, if all the test cases satisfy the (input‐)output property, as well as the number of test cases used for testing. In addition, if the XQuery program fails the test, the tool shows counterexamples found in the test cases. Properties are specified with XQuery Boolean functions, and the testing tool has been implemented in XQuery. Additionally, an XQuery path validation tool is presented. This tool is able to detect wrong paths in XQuery expressions. The path validation tool takes as input an XML schema, and it reports those paths on the XQuery program that do not match the XML schema. The path validation tool is a complement to the testing tool rejecting XQuery programs that do not conform to the XML schema. The path validation tool has been also implemented in XQuery. Finally, a web tool has been developed enabling to test and validate XQuery programs.     

网构软件中实体发现和排序的TEA方法(英文)

自治软件实体分布在开放、动态和多变的互联网中,它们的协作构成网构软件的基础。动态连接模式是网构软件重要的协作方式。在该模式下,如何选择具有所需质量的软件实体,是一个非常困难的任务。介绍了运行时测试和自动化测试技术,提出网构软件的自动化运行时测试方法。总结网构软件中用于软件实体的发现和排序的解决方法,提出了测试和评估方法TEA。网构软件不知道候选软件实体的质量,通过进行自动化的运行时测试,TEA可以选择具有更高质量的实体。如同网构软件一样,自治软件实体也可以在运行时改变自身结构。通过使用确认断言来评估每次实体调用的结果,TEA可以尽早发现实体变化引起的质量问题。TEA中的软件实体注册机收集每个不同的网构软件反馈的测试和评估结果信息,可以产生按估计质量排序的实体列表。在模拟实验中,TEA产生的有序列表获得最好的评估分数。     

飞行控制系统测试技术体系架构研究

针对飞机飞控系统测试技术覆盖面广、单点技术多、自身发展路线不清晰,导致无法对飞控系统型号研制起到牵引和推动作用的问题,提出了遵循系统功能层、试验需求层、测试技术实现层、测试技术验证层、标准规范层和测试技术产品层的分类方式,层次化构建飞控系统测试技术体系架构的方法。通过建立各层次内容和说明各层次之间的关系,明确了飞控系统测试技术体系架构及其内容,填补了国内在飞控系统测试技术体系上的空白,为飞控系统测试验证提供了一定的理论和体系支撑。     

固体火箭发动机虚拟试验技术研究综述

试验测试是评估武器装备性能的重要技术,为解决传统试验方式存在的资源成本高、试验性能难以预示等问题,将虚拟试验技术与固体火箭发动机试验测试领域结合,以缩短发动机试验周期、降低测试费用、提高产品质量。基于固体火箭发动机主要试验测试方法的研究现状,重点介绍了固体火箭发动机虚拟试验的总体架构,阐述了虚拟试验中需要构建的模型和结果的校核验证,进一步展望了科研人员未来可挖掘的潜在研究方向。     

面向体系对抗仿真的模型测试方法研究

模型的有效性评估一直是建模与仿真领域研究的重要课题.针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现.该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑.