基于MDA和AOP的软件开发方法

本文讨论了使用MDA的模型转换建立基于方面的分布式应用软件系统的过程,提供了一个良好的开发架构,可以从不同的角度描述模型。     

基于AOP的安全程序设计

软件规模的不断扩大、结构的日益复杂,给软件代码的安全性提出了更高的要求.AOP作为一种全新的编程思想,从编程方法学的角度提供了一种安全程序设计的方法.利用AOP技术,可将程序中的安全代码抽象成为单独模块,并可灵活使用各种安全策略,然后通过联结将安全代码作用于所有相关核心组件,由此大大提高了安全模块的重用性和程序的安全性.文章介绍了AOP的核心思想,探讨了基于AOP安全程序设计的基本方法,最后通过对程序实例的比较,分析了AOP安全程序设计的特点.     

基于AOP的Java混淆代码攻击的研究

为了研究代码混淆技术的安全性,利用AOP提供的连接点模型和字节码操作机制,提出了一种新的针对混淆代码的攻击方法,其操作均在字节码级别上完成。实验证明,该方法不需要获取目标程序的源代码,从而使代码混淆失去意义;此外,对于攻击者而言,不用对反编译后的程序执行再编译,就可以修改目标代码的行为。与现有的代码混淆技术相比,这种新的攻击方法更加直接且简单易行,是一种行之有效的方法。     

基于MVC模式的AOP访问控制技术研究

对基于MVC模式的J2EE应用访问控制进行了研究,提出一种基于MVC模式的AOP访问控制框架MAACF,给出框架的功能结构,介绍访问控制横切关注点的设计与实现,构建出一种应用MAACF的J2EE架构.系统运行结果表明,MAACF有效提高了分布式企业级应用的安全标准.     

基于构件和面向方面的模型驱动开发

本文讨论了使用MDA的模型转换建立基于构件和方面的分布式应用系统的过程,还特别的指出了在文档描述、复用和实现的过程中遇到的问题,可以使用MDA来很自然的解决这些问题.MDA提供了一个很好的框架,可以从不同的角度描述模型.     

网络处理器以软构件为基础的编程模型

提出了一种网络处理器以软构件为基础的编程模型设计思想及其实现的关键技术．该模型有利于上层开发人员更快的构建应用，并使网络处理器上的应用开发具有可移植性和可扩展性。     

AOP在BPEL服务组合中的应用的研究

为了解决BPEL语言对横切关注点建模的缺乏和动态演化方面的不足,文中提出一种把协调策略附加到BPEL伙伴链接和作用域上,在部署时对参与业务过程事务的伙伴服务支持的协调类型进行验证,保证业务过程需要的协调类型被参与者支持。同时,引入了面向方面编程（Aspect Oriented Programming,AOP）的思想,分离事务需求横切关注点,通过利用现有的支持动态织入的BPEL引擎等相关技术,使得事务管理需求能够在运行时动态地织入,并且能够在伙伴服务或者是业务过程改变时实现动态的修改。     

应用AOP提高软件代码质量的研究

为了提高软件代码质量,笔者从开发与审核两个过程分析了可以改进代码质量的关键环节,并在此基础上利用AOP提供的连接点模型,提出了一个灵活的、面向扩展的代码质量框架AjCQFr(AspectJ-based Code Quality Framework)。按照此框架的要求,开发了若干个检测代码质量的工具。同时,在开发中引入面向方面的设计和实现,并使用上述工具对开发成果进行质量检测。实践证明,这些工具可以极大地提高软件的质量和开发效率,并缩短代码质量保证过程。     

基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

基于软构件粒度的软件重用技术研究

基于软构件粒度的软件重用技术是软件工程的最新技术进展,从结构化与面向对象软件开发方法的比较出发,结合软构件的属性、分类、开发原则、应用条件和构件效能,详细讨论了软构件的度量、可理解性与可重用性之间的关系以及当前软构件技术发展过程存在的问题,重点分析了软构件粒度的分类及粒度大小对软构件的影响.对以软构件粒度为基础的软件开发具有重要意义。     

基于JavaBean的构件测试方法研究

介绍了基于构件的软件开发过程，阐述了当前构件测试的发展现状，提出将传统软件测试中的动态和静态测试结合进构件测试，并以实例分析了基于JavaBean的构件测试，从而更好地展现了该测试方法．     

基于Web Component 的自动化测试工具的研究

随着组件重用技术在软件开发中的广泛使用,软件测试变得越来越复杂,而自动化测试工具能有效降低软件测试的复杂度.运用自动化测试理论,讨论了基于Web Component的自动化测试一般方法,设计了一种基于Web Component的自动化测试工具.     

软件测试研究进展

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

基于AOP的细粒度RBAC模型的设计与实现

针对核心RBAC模型实现B/S企业应用时,没有根据操作特征细化权限控制粒度,缺乏针对细分数据的访问控制问题,提出了一种在操作维度上进行了扩充的细粒度RBAC模型,给出了模型的形式化描述;针对传统企业应用中权限认证逻辑横切业务逻辑的问题,阐述了基于AOP与注解的细粒度RBAC模型实现,模块化了权限认证逻辑,解除了业务逻辑与权限通用服务的耦合,提高了权限管理模块的复用性、可维护性与可扩展性.     

基于构件技术的软件测试问题探讨

描述了构件技术的特点，介绍了构件及构件软件的概念、特点和由此引发的测试问题，以及现有构件软件测试方法的研究情况。     

A Metadata Model Based on Coupling Testing Information to Increase Testability of Component

A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated. So how to increase testability of component has become a key technology in the software engineering community. Here a method is introduced to increase component testability. And meanings of component testability and relative effective ways to increase testability are summarized. Then definitions of component coupling testing criterion, DU-I （Definition-Use Information） and OP-Vs （ Observation-Point Values ） are given. Base on these, a definition-use table is introduced, which includes DU-A and OP-Vs item, to help component testers to understand and observe interior details about component under test better. Then a framework of testable component based on above DU-table is given. These facilities provide ways to detect errors, observe state variables by observation-points based monitor mechanism. Moreover, above methods are applied to our application developed by ourselves before, and some test cases are generated. Then our method is compared with Orso method and Kan method using the same example, presenting the comparison results. The results illustrate the validity of our method, effectively generating test cases and killing more mutants.     

一种基于AOP的软件演化策略设计与实现

软件演化通常需要向系统的各个模块中添加新的通用功能,一般是在每个有需求的模块中直接插入相应的功能代码,但这种做法工作量大、出错率高,同时容易破坏系统的结构.为此介绍了一种基于面向方面的编程(AOP)的软件演化策略,该策略通过使用关注点,向演化系统中注入新的代码,而不改变系统的结构.除此,还介绍了基于此方法的支持软件演化所实现的一个工具,并通过实例对该方法加以了验证和说明. 该方法只是应用了AOP的思想,因此不局限于支持AOP的程序设计语言,对于一般的面向对象的程序设计语言都适用.     

基于地球物理数据处理软件的测试与应用

软件测试是软件项目开发中极其重要的阶段。结合大型地球物理数据处理软件系统GRISYS的开发实践，讨论程序测试的若干方法及有关问题。提出程序测试应遵从从静态到动态、静态与动态相结合的测试原则；强调测试数据的选择是程序动态测试的关键；根据GRISYS系统中应用程序的特点，给出了地球物理测试数据的分类原则和测试子数据集划分的一般方法。