基于UML状态图的类测试技术

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。     

Client／Server系统的测试研究

本文针对Client／Server系统的结构和特点，分析了Client／Server系统的测试的难点。并从结构性测试、功能性测试、系统性能测试三个方面提出了Client／Server系统的测试方法。     

静态测试C＋＋中定义未使用的变量

软件测试可分为静态测试和动态测试。静态测试就是在不实际运行程序的情况下发现程序中蕴含的问题。以C＋＋编程为例,可以发现在很多的程序中总是定义了大量的变量,但是程序并没有实际使用它们,这是一种非常不好的编程习惯,也是一种常见的故障模型。文中通过对该类问题进行分析,给出一种静态测试方法测试C＋＋中定义未使用的变量;     

基于XML的软件集成测试自动化方法

本文提出了一种基于XML的集成测试方法,并给出了该方法的实现系统、数据接口的定义及被测系统接口的XML描述技术。该方法集用例设计、测试插装、测试驱动及测试报告生成于一体,系统灵活、可扩展,实现了软件集成测试自动化。     

测试Java异常处理机制的方法

异常处理机制能增强程序运行的可靠性,提高软件的健壮性.然而,如果异常处理机制使用不当,会带来许多潜在的错误,因而很有必要对程序的异常处理结构进行测试.提出了一种识别被测程序中的所有异常变量"定义-使用"关系的方法,并使用一个异常的定义-捕获度量来计算异常定义-使用链的测试覆盖.最后设计了一种异常分析及测试的原型工具.     

关于蜕变测试和特殊用例测试的实例研究

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.     

两种软件测试方法的比较和改进

软件测试是保证软件质量的重要步骤，在软件工程中占有重要的位置。文章分析了脚本测试和探索性测试两种测试方法，分别从定义、特点和使用场合进行研究，找出两种测试方法的不同点，然后通过实际的软件开发经验提出自己对测试方法的意见。     

Web服务测试的研究

Web服务是一种全新的分布式计算技术,它具有真正意义上的系统平台异构性和语言的独立性。随着Web服务技术的不断发展和广泛应用,需要运用测试技术来保障Web服务的正确有效运行。然而由于Web服务采用了新的体系结构和核心协议,其测试方法有别于以往的传统软件测试或网络协议测试,所以有必要对其测试方法和技术进行研究。文中对Web服务的测试进行了分析,针对不同的测试目的提出了对Web服务进行测试的方法,并给出了一种Web服务的测试执行框架。     

软件构件测试

研究软件构件测试技术,介绍自定义构件的开发。结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,从定义内置测试的测试点开始,提出了一种内置测试框架(Built-In Test Framework,BITF),最后给出了构件内置测试过程,并利用内置测试方法对设计的GIS构件进行了测试。     

被动测试和主动测试的研究

协议测试对于保证协议实现的正确性起着至关重要的作用．现在研究较多的测试方法是主动测试,被动测试则是一种新兴的测试方法．对两种测试思想进行比较，提出了将两者结合以获得更好测试质量和测试效率的算法，即先对IUT进行被动测试．通过测试收集一些有用的启发式信息．然后再将这些信息用于指导后续的主动测试，此算法已被用于BGP协议的测试，实验证明该算法可以提高主动测试效率。     

软件边界组合测试的典型案例分析

介绍了软件系统测试中功能组合测试与边界测试的概念和技术要求。针对我国目前军用型号软件测试的主要过程与方法,总结了在测试用例设计方面存在的不足。结合一个型号软件系统测试中未暴露的典型软件缺陷案例,分析了测试用例设计上的原因,说明了将功能组合测试与边界测试结合实施的必要性。提出了一种基于因果图的边界组合测试方法。经系统测试验证了该方法的可行性和有效性。     

A relation-based method combining functional and structural testing for test case generation

Specification-based (or functional) testing enables us to detect errors in the implementation of functions defined in specifications, but since specifications are often incomplete in practice for some reasons (e.g., lack of ideas, no time to write), it is unlikely to be sufficient for testing all parts of corresponding programs. On the other hand, implementation-based (or structural) testing focuses on the examination of program structures, which allows us to test all parts of the programs, but may not be effective to show whether the programs properly implement the corresponding specifications. To perform a comprehensive testing of a program in practice, it is important to adopt both specification-based and implementation-based testing. In this paper we describe a relation-based test method that combines the specification-based and the implementation-based testing approaches. We establish a set of relations for test case generation, illustrate how the method is used with an example, and investigate the effectiveness and weakness of the method through an experiment on testing a software tool system.     

实时多任务软件高可靠性测评方法

为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。     

面向云测试的并行测试用例自动生成方法

为实现云计算环境下的高效软件测试,提出一种Web 应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。     

基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。     

GUI testing assisted by human knowledge: Random vs. functional

Software testing is a labor-intensive task in software development life-cycle. Human knowledge is useful in the practices of software testing, especially GUI testing. There are many strategies for GUI testing assisted by human knowledge, in which manual random testing and manual functional testing are two of widely used ones. In this paper, an empirical study is conducted to compare random testing and functional testing in order to provide guidelines for GUI testing. 234 participants were recruited to create thousands of random and functional test cases for open source GUI applications. Some of these test cases were selected with certain coverage criteria and then run on GUI applications to evaluate random testing and functional testing. We study three aspects on the two testing strategies: effectiveness, complementarity and impact of test case length. Some useful observations in the empirical study are: (1) Random testing is more effective in the early stage of testing on small applications and functional testing has more extensive applicability for testing large sized applications. (2) Random testing and functional testing exhibit some complementarity in our experiment. (3) Short test cases can reveal some faults more quickly and long test cases can reveal more faults lastingly.     

基于软件层次化模型的软件测试数据生成

针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次化模型。该模型涵盖了软件与外部环境之间的交互,同时描述了软件内部结构信息。还给出了该模型测试数据集的生成算法：首先生成符合使用情况的测试序列,然后为测试序列生成覆盖软件内部结构的输入数据。通过针对示例软件的实验结果表明,与基于Markov链模型的测试方法对比,基于软件层次化模型的测试在满足软件测试充分性要求的同时,提高了测试数据集的代码路径覆盖能力和缺陷检测能力。     

一种改进的针对复合文档的Fuzz测试技术

Fuzz测试是一种黑盒测试技术,通常用于发现应用程序以及协议的漏洞。利用这种技术对使用简单格式数据的应用程序或者网络协议进行安全性测试时效果比较显著,但是在对大型办公软件的安全性测试中,由于其软件文件格式复杂,暴力Fuzz测试效率低下。为了提高对办公软件安全性测试的效率,针对它所采用的复合文档文件类型,根据其结构化存储的特征,提出了一种有效的Fuzz测试策略。     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

参数依赖型软件参数更动测试策略和方法

参数依赖型软件是指初始化时读取并解析配置参数,并据此进行任务处理的软件,航天测控软件是典型的参数依赖型软件。航天测控软件具有明显的领域软件特征,多采用领域工程分析技术,实现业务处理逻辑和具体任务参数的分离,达到仅通过修改任务配置参数而适应高强度型号任务的目的。通过对参数依赖型软件架构、应用模式的分析,提出一种对参数依赖特性进行验收测试、参数更动测试的流程、策略和方法。并基于该方法,对远程数据交互软件进行了参数依赖特性测试,测试结果表明,该方法具有测试覆盖性强、测试重点突出、测试效率高的特点。