基于状态的类测试研究

类测试是面向对象的软件测试过程中的一个重要方面。类测试需要结合对象的状态行为,并考察在执行相应的方法后是否能达到预期状态。该文描述了基于状态的类测试的方法,并通过实例分析给出了测试用例生成方法,验证被测对象在经过操作变换后是否处于预期的正确状态,使得测试人员在缩减测试用例数量的同时,提高了测试效率。     

基于状态的类测试研究

类测试是面向对象的软件测试过程中的一个重要方面。类测试需要结合对象的状态行为,并考察在执行相应的方法后是否能达到预期状态。该文描述了基于状态的类测试的方法,并通过实例分析给出了测试用例生成方法,验证被测对象在经过操作变换后是否处于预期的正确状态,使得测试人员在缩减测试用例数量的同时,提高了测试效率。     

基于状态的类测试研究

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

面向对象软件类测试研究新进展

软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键.近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题.类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键.从基于状态、基于规范、基于UML、基于方法序列、基于数据流等6方面论述了类测试的目前研究成果,分析了研究现状,探讨了进一步工作的方向.     

基于状态的类层次软件测试技术研究

本文以面向对象软件测试方法作为研究对象,重点讨论了基于状态的类测试用例生成技术。     

基于状态的类层次软件测试技术研究

本文以面向对象软件测试方法作为研究对象,重点讨论了基于状态的类测试用例生成技术。     

基于状态的类层次软件测试技术研究

本文以面向对象软件测试方法作为研究对象,重点讨论了基于状态的类测试用例生成技术。     

基于JPF的类数据流测试生成技术

通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现。算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价。     

一种嵌入式软件的类状态测试框架设计

在介绍UML状态图的基础上,以嵌入式软件的类作为基本测试单元,研究了基于UML状态图的类状态测试技术,进一步设计出基于UML状态图的嵌入式软件类状态测试框架。该测试框架的系统体系结构由测试初始化配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块组成。     

基于数据流的类测试技术研究

面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。     

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

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

基于SpringAOP的权限验证实现

软件项目中经常需要加入日志、权限检查、事务管理等额外服务,而且将来这些服务有可能需要更改或者移除,如果采用传统的面向对象的编程方式来处理,将会变得非常繁琐,而运用SpringAOP技术却可以很方便地实现。     

基于类状态图的类阀模型及在类测试中的应用

针对一般的类状态测试中存在的不足之处，引入了“类阀”的模型。在类阀模型的基础上，提出了一种新的类测试方法。该方法以类状态图为依据，以类阀为主要观察对象，结合类方法测试去同步地实施类测试。由于能与类方法测试有机的结合，该方法不用专门地去另外设计测试用例。     

基于AOP的Web系统权限管理

为了把影响多个模块的行为封装到一个单独的可重用模块中,使系统拥有更好的模块化、可扩展性和可维护性,面向方面编程(AOP:AspectOrientedProgramming)是一种行之有效的方法。介绍了AOP的基本概念并举例说明SpringAOP在Web系统中权限管理开发的具体应用。实践表明,在Web系统中应用AOP后,系统的核心业务逻辑和安全权限逻辑分开,从而使系统的耦合性大大降低且易于扩展。     

AOP技术在国库集中支付系统的应用

随着J2EE应用系统开发的深入,传统的面向对象编程OOP(Object-Oriented Programming)在解决系统横切关注点问题上存在不足,而面向方面编程AOP(Aspect-Oriented Programming)却能有效解决.介绍AOP的基本思想、开发过程及实现技术,并结合南昌市国库集中支付系统的开发,阐述了AOP在权限控制方面的设计.实践证明,通过AOP技术的使用,能有效地降低开发过程中代码间的耦合度,增加程序的灵活性和可重用性.     

面向方面软件测试的研究进展

面向方面编程软件测试技术是保证面向方面软件产品质量的有效手段.首先对AO软件的基本特征进行分析,然后从单元测试、集成测试、回归测试以及测试自动生成工具等多个方面介绍了AO软件测试的研究现状,最后展望了AO软件测试技术的发展前景.     

AOP中结构冲突解决方案研究及其支撑工具设计

提出了一种基于概念模型的AOP框架,它能从语义上解决AOP系统中的结构冲突问题.为了实现该框架,设计了概念模型配置工具、基础程序标注生成工具、概念层信息更新工具和基础程序转换工具.概念模型配置工具便于程序员设计概念模型中物理信息、逻辑信息及其映射关系,基础程序标注生成工具能根据概念层信息自动为基础程序增加或更新标注,概念层信息更新工具能把修改后的基础程序信息自动更新到概念层,基础程序转换工具能把标注后的基础程序自动生成用逻辑信息表示的概念层程序.这些支撑工具的研究与设计,使基于概念模型的AOP框架更具实用性,便于该框架的应用.     

基于动态消息捕获模型的AOP实现技术研究

介绍了有关AOP（Aspect-Oriented Programming）的重要概念、目前实现机制的缺陷、动态消息捕获模型以及基于本模型的AOP的具体实现。着重讨论了基于动态消息捕获模型的AOP实现机制,此讨论将扩展“方面”的概念,使得“方面”的含义比原来更宽泛。     

IOC框架的研究与设计

在J2EE开发中，程序员经常需要面对如何将程序元素组装成类聚的应用程序，如何有效地管理组件和组件间的相互调用装载，成为应用程序开发的重要任务，IOC（Inversion of Control，控制反转）框架的发展，满足了这个方面的需求。文中讨论了IOC模式的基本概论、IOC问题的产生，比较了IOC模式与工厂模式的区别以及IOC的发展意义，重点给出了IOC框架设计的两种设计方案：动态IOC和静态IOC的实现，最后比较了两种方案的优缺点。     

一种结合扇入和概念分析技术进行Aspect挖掘的方法

横切关注是分布在多个模块单元的功能,其存在是对系统理解和进化的一个很大的障碍。AOP（Aspect Oriented Programming）出了将横切关注模块化为aspect的方法,以解决这个问题。其中最难的是如何发现aspect,论文提出了一种结合扇入和概念分析技术进行aspect挖掘的方法,并通过系统的实验验证了该方法的有效性和正确性。