降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

Comparison of SETAM with security use case and security misuse case: A software security testing study

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.     

配对覆盖测试集的估计与实用策略分析

参数的配对组合测试是对于各种软件系统的一种实用且有效的测试方法，因为许多软件错误是由一些测试参数的相互作用造成的．要获得一个最优的配对覆盖测试集是一个NPC问题，作者证明了测试集大小是在一个可估计的范围之内．分析和比较了3种有效的配对覆盖测试集生成策略．     

Compact-Parity Testing and Testable Design

Parity testing is one of the compact testing techniques, which, traditionally, relies on applying all 2^n input combinations to an n-input combinational circuit without need of knowing the implementation of the circuits under test. The faults can be detected just by observing and comparing its parity of whole output of circuit with the expectation one. The way seemed to be less interesting to the test eagineers in the past days, mainly due to the reasons of its exhaustive testing and time-cousuming, which became a barrier as the number of input lines gets growing. However its great facility and convenience in testing still interest to the engineers who need to have a quick look at the qualities of the circuits without generating the test patterns for a given circuit to be tested. In this paper, a new approach called pseudo-parity testing is presented to deal with the dilemma we are facing： i. e. to change an exhaustive parity testing into a non-exhaustive one, followed by a pseudo- parity testable design to help realize the new way of pseudo-parity testing. The idea of pseudo-parity testing presented in this paper may resume its spirits towards its promising future.     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

Worst-Input Mutation Approach to Web Services Vulnerability Testing Based on SOAP Messages

The growing popularity and application of Web services have led to increased attention regarding the vulnerability of software based on these services. Vulnerability testing examines the trustworthiness and reduces the security risks of software systems. This paper proposes a worst-input mutation approach for testing Web service vulnerability based on Simple Object Access Protocol （SOAP） messages. Based on characteristics of SOAP messages, the proposed approach uses the farthest neighbor concept to guide generation of the test suite. The corresponding automatic test case generation algorithm, namely, the Test Case generation based on the Farthest Neighbor （TCFN）, is also presented. The method involves partitioning the input domain into sub-domains according to the number and type of SOAP message parameters in the TCFN, selecting the candidate test case whose distance is the farthest from all executed test cases, and applying it to test the Web service. We also implement and describe a prototype Web service vulnerability testing tool. The tool was applied to the testing of Web services on the Internet. The experimental results show that the proposed approach can find more vulnerability faults than other related approaches.     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

一种具有优先级的参数配对组合覆盖测试集生成方法

参数的配对组合测试广泛用于软件系统错误的检测。然而在实际参数组合测试的应用中，由于时间或预算等限制原因，无法运行整个测试集。在此情况下，必须设置测试案例的优先级。本文引入优先级权值的概念，使用一个贪心算法为已生成的参数配对组合覆盖测试集按照优先级高低进行排序。不论测试在任何时刻中断，都可确保最重要的测试已被运行。     

一种具有优先级的参数配对组合覆盖测试集生成方法

参数的配对组合测试广泛用于软件系统错误的检测。然而在实际参数组合测试的应用中，由于时间或预算等限制原因，无法运行整个测试集。在此情况下，必须设置测试案例的优先级。本文引入优先级权值的概念，使用一个贪心算法为已生成的参数配对组合覆盖测试集按照优先级高低进行排序。不论测试在任何时刻中断，都可确保最重要的测试已被运行。     

一种基于EAI模型的软件安全测试方法

研究了一种用于测试软件安全的基于EAI(Environment Application Interaction Model)模型的软件错误注入测试方法,提出了用包裹函数实现软件错误注入的安全测试方法及实现方法.对四个应用软件进行了实际测试,实验结果表明,该方法是有效的.     

软件性能测试实验教学设计

软件测试是保证软件质量的重要手段,许多高校都开设了相关课程。软件测试是一门技能型课程,应重视其实践环节,包括理论方法的应用及常用工具的使用等。性能测试主要测试系统在大业务量及大数据量下的性能表现,是系统测试中的一个重要方面。以某科研项目中的软件测试过程为原型,由浅至深设计了基于Jmeter的性能测试实验步骤,包括Jmeter中的基本概念和控制结构,以及提交参数内容可变、参数个数可变等高级应用。讨论了数据库设计对系统性能的影响,并介绍了利用索引技术优化数据库性能的一般原则。     

一种适合量子计算的素性检验方法

作为数论中的一个基本问题,素性检测,即检测给定的正整数是否为素数具有十分重要的理论和应用价值.给出了一种确定型严格素性检验方法.对这种方法采用量子运算,可在多项式时间内完成对一个任意给定的正整数的素性检验.     

一种基于组合测试的软件故障诊断方法

针对组合测试的基本模型和特征，提出了一种基于组合测试的软件故障诊断方法．该方法基于软件故障由某些系统参数或其相互作用而引发的前提下，首先对组合测试的结果进行分析，找出所有可能的错误原因，然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考。     

被动测试中的错误诊断算法

介绍了被动测试的有限状态机模型、错误模型和错误检测算法，给出了单个错误的诊断算法并分析了其时间复杂度，将所提出的算法推广到对多个错误的诊断，以在路由协议OSPF(Open Shortest Path First)的接口有限状态机上做的模拟实验为例来说明算法的有效性．     

基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．     

基于LoadRunner的理财平台的性能测试

基于LoadRunner的理财平台,设计了一种对软件的接口进行性能测试的方案,并将该方案用于上海佐昊网络科技有限公司理财平台的交互接口的性能测试.结果表明:不同场景下系统接口的性能特性不同,并发用户数为40个时TPS和CPU使用率等各项性能指标处于最佳状态;并发用户数为50个时CPU成为系统需要处理的瓶颈;证明了该方案的有效性.     

一款通用CPU的存储器内建自测试设计

存储器内建自测试（memory built-in self-test,MBIST)是一种有效的测试嵌入式存储器的方法，在一款通用CPU芯片的可测性设计（design-for-testability,DFT)中，MBIST作为cache和TLB在存储器测试解决方案被采用，以简化对布局分散，大小不同的双端口SRAM的测试。5个独立的BIST控制器在同一外部信号BistMode的控制下并行工作，测试结果由扫描链输出，使得测试时间和芯片引脚开销都降到最小，所采用的march13n算法胡保了对固定型故障，跳变故障，地址译码故障和读写电路的开路故障均达到100%的故障覆盖率。