基准程序法

本文系统地介绍了基准程序测试法经历了三十多年的发展历史.基准程序法从早期仅仅面向CPU的评价发展到如今对整个系统的评价,并且和计算机的发展密切相关.编译程序,操作系统和体系结构的发展提高了计算机的性能,作为评价方法的基准程序法也相应地发展.对目前广泛应用的工作站和联机事务处理系统的评价,基准程序法也进行了尝试.远程终端仿真器RTE的引入使得基准程序测试活动领域的进展更为迅速.     

对Windows 2000更进一步的观察

在进行完基准程序测试之后，我们又继续对Windows 2000做了更深入一步的测试。从上面的结果我们不难看出，多数基准程序测试中所选的游戏均可以在新的操作系统下顺利运行。然而在接下来的测试中，却出现了许多让我们吃惊的事情。     

软件健壮性的包裹测试

软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性。健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成。本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性。     

FSbench:一个机群文件系统基准程序

FSbcnch是一种通用的基于Unix平台的机群文件系统基准程序，它使用独特的时间同步机制来测试文件系统真实并发时的性能，扩展了SPEC SFS的负载测试方法并用来测试多种机群文件系统，提供了多种测试共享文件的模式，可以测试共享文件的并行存取性能。     

自动化软件错误定位技术研究进展

调试过程中代价最昂贵和最耗时的活动之一就是定位错误.为了辅助开发人员进行程序错误的定位和修正,自动化错误定位技术通过对源程序、测试结果以及各种程序行为特征信息的计算分析,给出造成故障的软件缺陷在源代码中的可能位置.文中对现有错误定位技术进行了分类,介绍了各种代表性技术的原理以及建模方法,并给出了常用的评测基准集和评价标...     

一种用于软件测试的程序结构划分方法

软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则为判定测试的充分性，由于程序结构的复杂性，难于保证对程序进行充分而高效的测试，本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。该方法难过对程序进行结构划分，将复杂的程序分解为若干程序块，并通过程序块间的数据依赖关系导出各程序块的语义，从而使测试可以在程序块的级别的基础上独立进行。     

一种结合动态链接库信息的崩溃输入分类方法

软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后...     

LabVIEW程序设计方法在自动测试系统中的应用探讨

以LabVIEW软件为开发工具,研究探讨了面向过程、面向对象、面向组件3种程序设计方法在不同类型测试系统程序设计中的实现方法,并对各方法的优缺点,以及对程序设计过程和程序质量的影响进行了分析比较,为基于LabVIEW的测试系统程序设计方法的合理选择提供了依据。     

一种新的程序变体测试方法*

在对程序分片技术研究的基础上,提出一种新的片变体测试方法。通过实例说明,该方法能更有效地提高变体测试的准确性及测试效率。     

基于程序插装的动态测试技术实现

动态测试是检测程序的动态行为的一种有效手段,本文介绍了Safepro白盒软件测试工具系列中基于程序插装的动脉测试技术实现,具体讨论了动态测试的模型、数据流模型和动态跟踪数据的编码和解码技术,插装库设计与插装策略等内容。     

基于硬件的快速路由查表模块测试系统设计

路由表的快速硬件查询技术已广泛应用于基于第三层交换技术的商业化路由器产品中,其性能目前已成为该类路由器的关键性技术特征之一.文章提出了一种用于快速路由查表硬件模块功能与稳定性测试的DSP硬件测试系统与软件系统设计方案.该方案通过使用优化设计的测试路由表与IP测试向量随机生成技术有效简化了硬件测试电路设计.测试系统主控程序的设计可有效降低ADSP汇编程序调试复杂度.     

基于UML的面向对象软件静态测试方法的研究

测试用例的数量和质量决定软件测试的成本和有效性。文中提出了一种基于UML面向对象软件静态测试的方法,论述了软件测试方法的分类、静态分析方法的基本测试框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效地设计测试用例。探讨了在对源程序进行充分的词法分析与语法分析的基础上,提取程序中类的有关信息,利用了数据库技术和UML图形模型,从而保证了分析结果的准确有效和标准化。     

基于UML的C++软件静态测试方法

提出一种基于UML的面向对象软件静态测试的方法，论述了方法的基本框架及针对C 的具体实现，使测试人员能直观地了解程序结构上的错误，并有效地设计测试用例。本静态测试方法是通过分析源程序文件，采用数据库来保存分析结果，并以UML类关系图显示出来。     

基于UML面向对象软件静态测试方法的研究

文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。     

基于升级路径的软件升级测试模型及其启示

软件升级测试是软件测试的重要方面。在分析软件升级路径数目爆炸式增长以及测试成本不断攀升的基础上,提出了一种升级路径优选方法,并在此基础上阐述了一种升级测试模型。理论和实践证明该模型是有效的;基于这种测试模型给出了软件升级架构设计的一些启示。     

软件测试工具应用研究

文章首先介绍了软件测试的基本概念和方法,并以一个测试过程为例,重点讨论了软件测试工具在实际测试工作中的应用。     

基于路径覆盖的高效编程测试方法研究

目前白盒测试标准,以覆盖程度为依据有6种。其中覆盖程度最高的是路径覆盖,但是传统的用例构造法没有给出达到路径覆盖的方法。本文提出一种能够达到路径覆盖的测试用例编写方法。它用树的形式把程序可能执行的路径解析出来,以达到路径覆盖的目的。此方法在单元测试用例编写中,简单、高效地覆盖程序中各种可能的路径。     

MuJava: an automated class mutation system

Several module and class testing techniques have been applied to object‐oriented (OO) programs, but researchers have only recently begun developing test criteria that evaluate the use of key OO features such as inheritance, polymorphism, and encapsulation. Mutation testing is a powerful testing technique for generating software tests and evaluating the quality of software. However, the cost of mutation testing has traditionally been so high that it cannot be applied without full automated tool support. This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behaviour and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. A mutation tool based on the MSG/bytecode translation method has been built and used to measure the speedup over the separate compilation approach. Experimental results show that the MSG/bytecode translation method is about five times faster than separate compilation. Copyright © 2004 John Wiley & Sons, Ltd.     

软件测试用例设计

软件测试重要性越来越大,测试用例的设计是整个测试过程的基础。结合工作实践介绍软件测试用例的重要性和测试用例的设计方法,并举例说明如何应用白盒测试技术和黑盒测试技术。