基于数据处理模型的软件测试方法

针对传统测试方法运用于数据处理软件测试时的不足,提出了一种基于数据处理模型的软件测试方法;为有效避免测试数据选取时的盲目性,提出了基于图解化的测试数据选取方法;将上述方法运用于坐标转换软件测试中,结果表明所提出的方法是一种可行且高效的数据处理软件测试方法.     

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

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

一种基于程序切片技术的软件测试方法

1 引言软件测试是人们发现、纠正、预防软件错误以及完善软件功能的重要手段。软件测试的目的就是为了发现程序中的错误。对于传统程序设计语言书写的软件,软件测试人员普遍接受三个级别的测试:单元测试、集成测试和系统测试。无论在哪个级别上进行测试,其测试过程均为输入测试数据、处理和验证输出结果三个步骤。目前面向对象软件开发技术发展迅速,但面向对象软件测试技术的研究还相对薄弱。例如,对面向对象的程序测试应当分为多少级尚未达成共识。基于结构的传统集成策略并不适于面向对象的程序。这是因为面向对象的程序的执行实际上是执行一个由消息连接起来的方法序列,而这个方法序列往往是由外部事件驱动的,在面向对象语言中,虽然信息隐藏和封装使得类具有较好的独立性,有利于提高软件的易测试性和保证软件的质量,但是,这些机制与继承机制和     

一种基于大数定律的软件测试方法

随着软件规模越来越大,复杂程度越来越高,软件测试也变得越来越复杂.由于人力、经费、时间等测试资源有限,穷尽测试显然是不划算的.故需要从数量众多的可能测试数据中精心挑选出尽量少的测试数据来设计测试用例,通过这样设计的测试用例可以高效地把隐藏在软件中的错误、缺陷检测出来.文中根据历史数据和以往的经验,利用统计学中的大数定律提出了设计测试用例的"测试用例优先值向量法".该方法的思想是当软件开发的资源、技术条件、开发过程管理等影响软件质量的因素相同时,软件产品中的各种缺陷、错误发生的概率也是基本一定的,因此,可以根据历史数据来推断出各类错误的分布情况,并由此来设计测试用例.该方法具有客观性、高效性和可复用等特点,在软件测试过程中可以节省大量的资源,提高软件测试的效率.     

一种基于大数定律的软件测试方法

随着软件规模越来越大,复杂程度越来越高,软件测试也变得越来越复杂。由于人力、经费、时间等测试资源有限,穷尽测试显然是不划算的。故需要从数量众多的可能测试数据中精心挑选出尽量少的测试数据来设计测试用例,通过这样设计的测试用例可以高效地把隐藏在软件中的错误、缺陷检测出来。文中根据历史数据和以往的经验,利用统计学中的大数定律提出了设计测试用例的“测试用例优先值向量法”。该方法的思想是当软件开发的资源、技术条件、开发过程管理等影响软件质量的因素相同时．软件产品中的各种缺陷、错误发生的概率也是基本一定的,因此,可以根据历史数据来推断出各类错误的分布情况,并由此来设计测试用例。该方法具有客观性、高效性和可复用等特点,在软件测试过程中可以节省大量的资源,提高软件测试的效率。     

软件测试数据自动生成方法分类的研究

软件测试是保证软件质量的重要手段,测试数据自动生成是软件测试领域研究的热点之一。近些年,测试数据的自动化生成得到了广泛的关注。本文首先总结了应用较为频繁的基于路径覆盖、优化算法的测试数据生成的研究成果,之后归纳了基于聚类算法以及基于UML模型的测试数据自动生成技术的研究现状,并分析了每类方法的特点及面临的主要问题,最后对测试数据自动生成的未来发展进行了展望。     

一种新的软件测试方法的研究

提出基于蒙特卡罗的软件可靠性测试方法。它是软件工程中的一个新的研究领域,主要探讨蒙特卡罗方法和软件工程的交叉。一方面借鉴一些传统的软件测试方法,另一方面借助于蒙特卡罗方法,提出的一套全新的测试技术。     

一种基于软件测试用例库的设计方法

本文设计了一种软件测试用例库,目的是实现软件测试用例的重复利用性,软件测试复用一方面可以解决测试人员经验不足带来的技术问题,另一方面还避免了设计用例设计过程的重复劳动,提高了测试效率.本文首先介绍软件测试用例的设计思想和具体编写方法,再提出软件测试用例库设计方法,将测试用例汇总起来,提取通用测试用例,通过专家评审,形成标准的软件测试用例库,供软件开发人员及测试人员使用,测试用例库的使用可缩短软件开发周期和降低软件开发成本.     

基于面向对象软件测试方法研究

主要讨论了程序编写完后方法和类的测试,并结合实践给出了测试策略;结合实际基于面向对象的测试方法,设计了相应的测试用例,提出了一种新的基于类集的测试方法,该方法针对软件测试过程中类测试速度要求及类涵盖要求而设计,提高了类测试效率。     

一种有效的软件测试工程化方法

合适的软件测试方法可以明显提高软件测试的质量和效率。该文以POCERM软件测试过程模型为基础,结合一个实际测试项目,阐述了一种有效的软件测试工程化方法。     

程序切片技术在软件测试中的应用*

基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等.同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高.详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用.     

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。     

基于领域知识软件测试方法的研究与应用

采用本体理论来表示软件测试领域知识,完成对测试用例的快速分类与检索,设计出一个专门应用于软件测试领域的测试用例知识管理系统,并以某公司编码物料软件为测试对象,验证了基于领域知识的软件测试的可行性和适应性。该系统缩短了编写测试用例的时间,最大限度地提高了测试用例的复用率,研究课题的价值也在于此。     

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

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

在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．     

浅谈软件测试

近年来,软件工程的规模和以前相比越来越大。软件测试作为软件开发的重要环节,已经越来越受到人们的重视。该文主要通过探讨基于软件开发阶段的测试方法,发现影响软件测试中的因素。最后提出关于软件测试质量的提升与测试管理阶段采用的方法的几点看法。     

浅谈软件测试技术

随着计算机的普及,软件系统已经深入到生活的各个方面,从普通的计算机软件,到银行或超市的终端系统,甚至到手机的软件系统。对软件质量的要求也在不断提高,但现实中软件系统的质量和稳定性却不尽人意,不论采用什么技术和什么方法,软件中仍然会有错误存在。在对软件测试技术相关基本概念研究解析的基础上,分析了软件测试起源与发展,保证软件产品的质量、提高产品的可靠性。     

一种基于数据流分析的程序定义域自动确定方法

程序定义域的确定有利于指导测试用例的选取,虽然程序规范规定了输入变量的定义域,但程序实现本身也定义了其定义域,如果二者不能完全重合,那么某些软件故障就可诊断出来,文中提出玫种基于数据流分析的程序定义域自动确定方法,通过对原程序进行数据流分析和相关性分析,求取输入变量的定义域,采用程序抽取的程序定义域自动确定方法,通过对源程序进行数据流分析和相关性分析,求取输入变量的定义域,采用程序抽取技术,将与输入变量无关的语句和函数剔除,简化了源程序,提高了分析效率,采用动态模拟技术,实现了特殊情形下输入变量定义域的确定,实验证明,该方法是行之有效的。     

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

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