一种新的测试集简化的测试覆盖准则

在回归测试过程中,测试集的规模不断的变大增加了测试的成本.结合某种测试准则利用测试简化法对测试集中冗余的测试用例进行删除是一种有效的解决方法.但是用此方法得到的简化测试集,其错误检测能力往往被减弱.因此提出了一种新颖的测试覆盖准则,即二级变量串联覆盖准则和二级变量并联覆盖准则.这两种准则主要考虑了变量间的串、并联关系对程序的影响.用此准则与其它测试覆盖准则相组合,利用HGS测试集简化法对测试集进行选择,既简单高效又保证了最小化测试集的错误检测能力.针对文献[3]中的具体应用实例,验证了该测试覆盖准则的有效性.     

常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。     

一种基于依赖分析的并发程序潜在死锁检测算法

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.     

数据流测试准则之间关系的研究

软件测试充分性准则是决定一个软件系统能否被充分测试的规则,而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念,然后讨论了数据流测试准则之间的关系,最后针对测试准则C1和C2,提出了二者的关系R。R(C1,C2)可保证在特定的错误检测度量方法下,C1比C2具有更好的检错能力。     

一种FC协议测试设备的设计与实现

随着FC网络的发展及大量部署,FC网络协议测试设备的需求大幅增加.传统的FC网络协议测试设备造价昂贵,可扩展性差.该文基于通用的FC网络节点,开发简单的软硬件适配组件,搭建一个FC协议测试设备,可满足FC网络设备的测试需求,适合大规模产品测试及协议测试,具有良好的可扩展性.     

基于模型的若干逻辑边界覆盖测试准则

鉴于 现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。     

一种新的面向对象软件集成测试序列生成方法

集成测试是面向对象软件测试中的重要环节。UML不仅在软件分析领域具有重要作用,同时是软件测试的有力依据。在本文中,提出了一种以UML类图为基础的面向对象软件集成测试的测试序列生成方法。从UML类图中提取类的所有信息。然后依据提取的信息计算每个类的内聚度和类间耦合度,将计算结果存入数据库中。最后根据计算的类间耦合度与类的内聚度从高到低对类进行遍历。最后生成集成测试时的类测试序列。经证明该方法对于软件有较好效果。     

基于块的测试充分性度量准则及其测试复杂性度量

1 引言近年来,计算机已广泛应用于银行、证券、工业控制、医疗、交通、航空、航天等领域。在这样的应用领域中,软件的正确性往往关系到人民生命财产和生态环境的安危。一旦软件发生故障,就可能造成生命财产的巨大损失和生态环境的极大破坏。所以,设计人员和使用人员都希望在将软件系统投入运行之前,能得到系统正确性的保证,或能将系统正确性提高到比较高的程度。以软件测试为中心的软件质量保障技术在软件生产实践中得到了迅速的发展,软件测试已成为软件生产中必不可少的质量保障手段。     

一种基于并发错误模式的Java并发程序动态测试方法

并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.     

一种基于两两组合测试的FIT框架扩展

优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具.FIT创建了一个在客户和程序员之间的反馈循环.在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结合两两组合覆盖的测试用例自动生成技术,实现了从接口参数边界值的确定,到以HMTL形式显示集成测试结果的半自动化过程,从而提高软件测试的质量和效率.     

并发软件适应性随机测试方法

测试用例选择是软件测试中的关键问题之一.目前,测试用例选择在并发软件测试方面鲜有涉及.以多线程并发程序为研究对象,提出面向并发软件的适应性随机测试方法,通过优化测试用例选择,来提高并发软件测试的效率和错误发现能力.根据实验结果,我们提出的并发软件适应性随机测试方法比随机测试方法的测试效率更高,错误发现能力也更强.     

面向共享内存并行程序的测试技术

随着并行编程越来越普及,并行程序的测试也变得越来越重要。本文面向共享内存的并行程序,研究一种新的并行程序测试技术,设计了工具CPTester,采用冗余分析方法避免重复的结果。和已有工作不同的是CPTester能够自动生成每一个并行bug的上下文信息,对程序员理解并修复一个并行bug具有重要意义。将CPTester在一些真实的并行程序上进行实验评测,结果显示CPTester能够有效地检测到程序中的并行bug,且每一个并行bug都有相应的上下文信息来描述该bug触发的根本原因。     

软件测试方法简述与展望

软件测试是一门重要的、具有广泛应用的学科,随着应用系统的不同,软件的测试方法呈现多样性。该文从概念、基本问题、方法、任务等各个方面进行评述,讨论了待解决的问题,并对今后的发展方向进行了展望。     

一种基于CBD的软件测试方法

基于构件的开发方法(CBD)的提出和大量应用,对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研完,提出了CBD软件的测试样式,通过构件规格说明构架和构件交互图对构件间交互关系建模,并在此基础上给出了构件软件系统的测试技术和方法。     

基于软件体系结构的测试及其工具研究

1 引言软件体系结构层测试的目的是找出体系结构的错误和缺陷,这与传统测试有很大的不同。SA测试分为体系结构的静态测试(即体系结构分析)和体系结构的动态测试(即体系结构模拟)两个方面。前者是对体系结构的静态行为特征进行分析,如各类一致性分析等;后者是对体系结构的动态行为特征进行模拟。 SA中的结构模式提供了一个设计和分析大型软件系统的自然框架,也为可重用的构件提供了组合成系统的规则。通过对软件体系结构的描述,使得复杂系统的测试与分析变得     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

软件体系结构测试覆盖准则研究

基于软件体系结构的形式化测试提高了软件产品的质量,是软件工程领域研究中的重要研究课题。SA层的测试是软件测试领域的热点和难点。在回顾相关工作的基础上,文章研究了SA测试中的被测系统的质量特征要求,定义了覆盖准则,设计了一套针对这些测试覆盖准则的计算规则,并构造了一个CASE工具。这一结论是进一步研究SA测试的基础。     

软件测试浅谈

随着软件的发展和国际化，随之而来的软件质量问题也日益热门，而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程，在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。     

改进ROS2.1的软件业务流程测试方法

在红旗办公服务器—Redoffice Document Server 2.0（RDS2.0）中,软件业务流程的测试用例繁复冗余,而且软件业务流程测试效率不高。针对这些问题,在RDS2.0的升级版本Red Office Server 2.1（ROS2.1）中使用了改进后的软件业务流程测试方法。这些方法减少测试用例的数量和测试工作量,同时提高软件测试覆盖率和效率。     

软件测试浅谈

随着软件的发展和国际化,随之而来的软件质量问题也日益热门,而保证软件质量的最根本方式就是软件测试。软件测试是由专门测试组进行的一个正式的过程,在该过程中通过在计算机上运行程序考察一个软件单元、若干被集成的软件单元或整个软件包。所有相关联的测试是根据经批准的测试规程在经批准的测试用例上进行的。本文从软件测试人员、方法、工具等方面对软件测试进行全面的介绍。