热路径结合程序切片思想在错误定位中的应用

回归测试指对修改后的软件进行测试.为提高回归测试错误分析效率,基于目前热路径思想在程序分析里的应用,结合程序切片方法,提出一种高效的回归测试方法.首先找出在程序执行过程中方法级的执行路径频率,结合应用Dslice切片算法应用用于回归测试,对已知的错误的程序进行调试,比较准确地进行了方法级的错误定位.实验结果表明通过热路...     

一种基于EAI模型的错误注入测试方法

研究了基于EAI(Environment Application Interadion)模型软件错误注入测试方法,结合变异测试技术,提出了一种基于EAI模型的加权测试技术及其实现方法.对实际软件进行测试,实验结果表明,该方法有效并且可复用性强.     

一种Web应用软件安全脆弱性测试模型

研究使用错误注入的方法进行web应用软件脆弱性测试的技术,提出环境与状态错误模型(EAS模型),并提出基于EAS模型的web应用软件安全性测试方法.使用EAS模型对来自OWASP的漏洞数据库进行了分类,并与使用EAI模型分类的结果做了对比.使用EAS模型测试了WEB应用软件PEGames,发现了其中的6个漏洞.实验表明,EAS模型具有良好的漏洞覆盖能力和漏洞揭示能力.     

协议被动测试的错误标识

被动测试不仅能够检测协议实现是否有错误,而且利用检测过程中的症状信息能够标识错误.提出一种扩展了的被动测试错误标识算法,它能够在标记错误过程中记录该错误所导致的系统状态;又给出了一种以上述状态为初始状态继续向前观察多步以区分错误的算法.所提方法能够区分等价错误;继续向前测试步数不受限制,应用该方法对一个简化的BGP协议状态机模拟器进行错误标识,实验结果表明在观察步骤数足够多的情况下所提方法能够高效定位系统实现错误.     

基于微波暗室GNSS抗干扰接收机的测试方法

GNSS抗干扰接收机的性能测试方法研究,对提高卫星导航系统在实际应用环境下的安全性与可靠性具有重要意义。本文提出了一种基于微波暗室改进的GNSS抗干扰接收机的测试方法,该方法通过扩大模拟信号的视场角范围,实现了卫星信号的多路输出、干扰信号的动态模拟。和传统的卫星信号单路输出、干扰信号静态模拟的测试方法相比,本文提出的测试方法能够逼近室外真实的测试环境,提高了抗干扰接收机性能测试的准确性。最后通过数字仿真,分析了干扰源与信号源的夹角关系及信号模拟误差对抗干扰接收机测试带来的影响。     

基于组件的加权组合错误注入测试方法

在传统错误注入方法的基础上,结合组合变异测试技术,提出一种面向组件的错误注入加权组合测试方法。对组件环境的注入条件设置加权因子,在组件集成测试系统平台下面向第三方组件进行注入测试,自动生成XML格式的测试监控日志。实验结果表明,该方法能依据组件的软件环境发现并分析从高风险到低风险的组件漏洞。     

数据仓库系统综合测试策略的研究

数据仓库系统的软件测试是一个综合测试过程,本文给出了数据仓库系统的测试策略及测试方法.由于采用的测试方法不可能彻底发现系统的所有错误,因此本文给出了测试终止的标准.     

浅谈白盒测试之基本路径测试方法研究

本文分析了白盒测试中基本路径测试方法的相关概念,阐述了利用基本路径测试方法设计测试用例的过程,最后通过实例说明基本路径测试方法的使用。     

一种采用接口错误注入的构件安全性测试方法

构件特别是第三方构件的安全性是影响构件技术发展的重要因素.当前甚少将构件安全性问题作为一个专门的课题来研究,也没有确实可行的方法和技术用来检测构件安全漏洞.构件的安全性问题仍然没有得到较好的解决.提出一种基于接口错误注入的构件安全性测试方法.方法首先给出构件脆弱性错误注入算子、断言规则库及其脆弱因子,然后基于错误注入算子和断言规则库给出一种构件安全测试算法.算法根据错误注入算子有针对性地产生测试用例并执行测试,动态监测机制能实时监测构件运行状态及异常信息.算法根据断言规则库、脆弱性因子及异常信息给出构件安全异常报告及构件安全等级.最后在一集成测试平台中实现了该方法,同时做了大量实验,并和FUZZ法进行了对比分析.实验结果表明所提出的测试方法可操作性强,且对构件脆弱性具有较好的检测效果.     

基于状态的类测试研究

类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。     

一种回归测试后的错误定位方法

测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程，它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定位的方法。这种方法反复利用调试信息和回归测试结果，通过从程序中抽取出与特定的语句有关的、 、相对原来的程序小得多的语句集，实现准确、快速的错误定位。     

空指针引用故障模型与测试方法研究

空指针态引用故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源。而现有的静态分析方法主要存在漏报和误报过多的情况。针对这些问题,提出了一种基于指针映射关系分析的测试方法,给出了面向故障的指针映射集的构造规则,以此为基础建立了故障模型。通过指针映射集和故障模型,可以自动检测空指针引用内存故障,提高了测试效率。在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。     

基于指针映射集的动态内存故障测试方法研究

动态内存故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态分析方法主要存在漏报和误报过多的情况.针对这些问题,提出了指针映射代数系统的概念,全面地反映了指针与内存之间的映射关系,并给出了面向不同故障的指针映射集的构造规则,以此为基础建立了动态内存故障模型.通过指针映射集和故障模型,可以自动检测内存释放异常、内存泄露和空指针引用等动态内存故障,提高了测试效率.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.实验结果表明,该方法能够有效检测动态内存故障,而且出于规则定义较为全面,漏报和误报率也较低.     

Investigating ARIMA models of software system quality

In this paper, we investigate how to incorporate program complexity measures with a software quality model. We collect software complexity metrics and fault counts from each build during the testing phase of a large commercial software system. Though the data are limited in quantity, we are able to predict the number of faults in the next build. The technique we used is called times series analysis and forecasting. The methodology assumes that future predictions are based on the history of past observations. We will show that the combined complexity quality model is an improvement over the simpler quality only model. Finally, we explore how the testing process used in this development may be improved by using these predictions and suggest areas for future research.     

软件的变量完整性测试方法

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率．同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准．     

一种用于白盒测试评估的错误播种方法

软件错误播种方法不仅可以用来评价软件的性能和研究软件错误的特性，而且还可通过播种错误为软件测试方法的评估提供必要的条件。考虑到白盒测试所针对的错误类型是程序代码级错误，为了方便错误播种，将程序代码错误分为计算型错误、域错误和程序接口错误，并针对这3类错误提供了一种改进的基于程序变异的软件错误播种方法。     

A structural testing method for JSP designed programs

A new structural testing method (STM) is presented for use with JSP (Jackson structured programming) designed programs. The method involves the creation of a path expression from the program structure and subsequent expansion of the expression into a set of paths using an algebra described in the paper. The treatment of each JSP construct is dealt with in detail. A worked example demonstrates the use of the method to generate test cases. The method is compared in terms of coverage to other well-known structural testing methods. The advantages and disadvantages of the method are discussed and further work currently being undertaken by the authors is outlined.     

Tabular-expression-based method for constructing metamorphic relations

Metamorphic testing (MT) is proposed to overcome the oracle problem in software testing, and metamorphic relations (MRs) are the core of MT. There is a lack of guidelines for constructing effective MRs, and it is difficult to reuse MRs mainly because most MRs are closely related to the domain knowledge. In this article, we propose a method for constructing MRs from specifications in tabular expression format. Our method constructs MRs according to the characteristics of tabular expressions, especially the relationships between the header grids and the main grid, namely, our method is domain-independent and the construction process is simplified. In addition, the derived MRs can be applied to specifications with the same tabular expression structure. For specifications with different tabular expression structures, MRs can still be used after slight adjustments. To evaluate the performance of our method in practice, we apply the method to five applications. The experimental results demonstrate that our method is effective for a program with the oracle problem, and that it is applicable to tabular expressions in various formats. Compared with representative testing methods, our method identifies errors that are not detected by the compared methods. Hence, our method and existing methods can complement each other. The MR proposed in this article outperforms MRs constructed based on program properties.     

Generating test data for both paths coverage and faults detection using genetic algorithms: multi-path case

Generating test data that can expose the faults of the program is an important issue in software testing. Although previous methods of covering path can generate test data to traverse target path, the test data generated by these methods are difficult in detecting some low-probabilistic faults that lie on the covered paths. We present a method of generating test data for covering multiple paths to detect faults in this study. First, we transform the problem of covering multiple paths and detecting faults into a multi-objective optimization problem with constraint, and construct a mathematical model for it. Then, we give a strategy of solving the model based on a weighted genetic algorithm. Finally, we apply our method to several real-world programs, and compare it with several methods. The experimental results confirm that the proposed method can more efficiently generate test data that not only traverse the target paths but also detect faults lying in them than other methods.     

蜕变测试研究进展及其在并行程序测试中的研究展望

在软件测试过程中,待测程序的预期输出是判断软件是否存在缺陷的重要因素.蜕变测试技术是利用被测软件的属性来检查程序输出,从而有效地解决程序预期输出难以构造的问题.近年来,蜕变测试在软件测试领域取得了蓬勃的发展,许多研究人员将蜕变测试技术进行优化,将其运用到各个领域,有效提高了软件质量.从原理、过程及其优化,应用领域3个方面,总结蜕变测试的研究工作,着重分析了近5年的研究进展,进一步展望了蜕变测试用于并行程序时,可能的研究主题.首先,介绍蜕变测试的基本概念和蜕变测试过程;接着,从蜕变关系、测试用例、测试执行过程以及蜕变测试工具4个角度,总结蜕变测试优化技术;然后,汇总了蜕变测试的应用领域;最后,基于已有研究成果,讨论蜕变测试在并行程序测试领域面临的问题,为蜕变技术在并行程序测试领域的研究提供可能的思路.