面向对象测试代码复用算法与工具

本文主要研究面向对象软件系统的自动化测试代码的复用问题。复用测试代码是基于建立的方法测试用例。当创建了一个方法的测试用例之后,可以发现这个用例可在其他相 关方法的测试过程中起到多种作用。这个生成的测试用例可以作为另一个方法测试输入的对象参数,或者作为一个主测试对象以调用其方法。我们设计了一个可自动生成复用用测试代码的算法,并应用于一个微软平台上的对象测试自动化工具的研发过程中。     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

自动化白盒模糊测试技术研究

软件的安全性分析和漏洞检测是软件工程和信息安全领域的一个研究热点和难点问题。采用程序分析的方法对软件进行安全性测试,日益受到广泛的关注和重视。首先概述了有关软件安全性测试的基本概念;随后,详细介绍了3种基于程序分析的安全性测试方法:模糊测试、符号执行和自动化白盒模糊测试,并比较了这3种方法的优缺点;最后,给出了自动化白盒模糊测试的分布式模型。     

软件Agent的一种面向对象设计模型

怎样实现软件Agent是设计与开发面向Agent编程语言及工具的关键问题.为基于当前主流的面向对象技术来解决该问题,首先讨论了对象与Agent的主要区别,然后通过对Agent的BDI模型进行简化改进,提出了一种基于对象技术的软件Agent的实现体系结构及其内部行为自主决策算法.最后,基于该结构及算法并利用设计模式开发出了软件Agent的一种面向对象设计框架.该工作对于上述问题的解决,以及在现有成熟的面向对象技术基础上开发出软件Agent程序设计语言及其支撑环境具有基础指导意义.     

面向对象软件度量自动化参考模型MOOP

评估软件质量涉及到定性和定量两个方面。在定量的度量方面,要考虑两个问题,一是度量什么,二是如何度量。面向对象技术的新特点给软件度量提出了新的要求。本文提出了一种针对面向对象程序分析的度量自动化参考模型MOOP,该模型采用三层结构：翻译层、表示层、分析层,具有可重定编译前端、中间表示与语言无关、度量集可定制等优点。基于MOOP参考模型,我们设计了一种面向对象度量自动化系统MOOP－Kit。     

基于解释的程序转换

程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.     

基于扩展对象关系图的集成测试研究

测试顺序是面向对象软件集成测试中的一个重要问题。本文提出使用扩展对象关系图作为测试模型研究面向对象软件集成测试顺序问题,并给出计算测试顺序的算法以及设计测试用例的策略。     

基于SPEC#的自动测试方法

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段.基于(SPEC# NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法.这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例.这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能.     

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.     

FREE模型在面向对象测试中的应用研究

在面向对象分析设计中，对象的进行为通常与其状态紧密相关。因此，基于状态的测试成为面向对象软件中一个有效的测试方法。对FREE模型进行了研究，分析了该模型的优缺点及适用范围，并将其应用于面向对象软件测试中，为基于状态的测试提供一个类行为的可测模型，有利于提高面向对象的测试质量。     

软件测试技术中面向对象方法的研究

以软件工程中面向对象软件开发模式为参考,具体阐述了面向对象分析、面向对象设计、面向对象编程的测试注意点和测试过程,并依照传统的单元测试、集成测试、系统测试三个测试步骤,借鉴传统测试方法以及面向对象软件测试层次结构,详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略,并对相关问题进行了探讨。     

面向对象的软件测试模型及策略研究

以软件工程中面向对象软件开发模式为参考,具体阐述了面向对象分析、面向对象设计、面向对象编程的测试注意点和测试过程,并依照传统的单元测试、集成测试、系统测试三个测试步骤,借鏊传统测试方法以及面向对象软件测试层次结构,提出了面向对象软件测试的策略和一个实用面向对象的软件测试模型,并对相关问题进行了探讨。     

一种针对交互式软件的测试用例生成模型研究与实现

测试用例的自动生成是软件测试的一个重要方面，测试用例生成的复杂度与质量直接影响测试的效率和覆盖面，已有的针对软件功能测试的自动测试理论和方法在针对CAD和图像处理这类人机交互复杂、系统状态繁多的系统时，因复杂度大或者测试效率较低而难以在实际中应用．本文提出的一种针对复杂人机交互软件的测试模型一基于功能对象的测试用例生成模型，将用户使用被测试系统的操作流程看成是若干个处理过程的组合，采用面向对象的思想将用户的操作流程进行分解和封装，构建出用以生成测试流程的功能对象，并依照一定约束条件对功能对象的实例进行重组，派生出测试用例．本文提出的测试用例生成模型，已在三维数字化设计系统的专用测试平台CADTesting中成功实现，实践证明，该模型与现有的一些模型相比，实现复杂度低且测试用例的质量较高．     

网络面向对象的软件测试技术的研究

面向对象软件测试技术的研究是面向对象开发方法不可缺少的一环。但是随着面向对象技术的引入,面向对象程序开发语言成为主流编程语言，传统的瀑布式软件工程模型受到挑战，传统的测试技术已经无法有效地进行测试。因此文中在对软件测试技术进行了综合分析的基础上，提出了面向对象的测试模型。同时对一个已实现的、具有高度可重用性和灵活性的面向多种OO语言的测试工具Panorama的系统结构进行了分析。     

基于AOP的面向对象程序的单元测试

单元测试被视为横切关注点，在软件测试过程中很重要。而面向方面编程(AOP)的主要目标就是分离横切关注点，因此，单元测试非常适合用AOP来解决。该文提出了在对面向对象程序进行单元测试时遇到的问题，并用AOP方法加以解决，同时比较了传统方法和AOP方法进行单元测试的优缺点。     

一种可行的可用性测试过程

文章综述用户模型法、用户调查法、专家评审法和观察法4类可用性测试方法,根据可用性测试的经验,总结出一套合理实用的可用性测试过程,使得可用性测试的效率高、代价低,尽可能发现更多的可用性问题;提出在程序设计类课程的教学中,应适当向学生介绍可用性测试的方法和过程,以培养学生对自己开发的软件系统进行可用性测试的能力。     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种基于服务的类测试模型，即服务的块分支图。     

基于UML协作图的集成测试序列生成方法

随着软件测试自动化的要求,以及UML在面向对象软件开发领域中的广泛应用,基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段,在基于UML协作图生成面向对象软件的集成测试用例的过程中,一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。给出了由RationalRose开发的规格说明文件生成IRCFG的算法,并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列的方法。     

一种面向对象程序系统的有效测试方法

针对面向对象的程序系统提出了一种集成测试的有效方法。描述了如何从面向对象的系统设计中生成一个测试模型，对模型图正规化并做进一步分解，根据优化后的结果运用并行测试的思想指导系统的集成测试，以期在尽量少的测试开销基础上加快软件测试的进程。