面向方面程序错误类型分析

面向方面编程是一种新的程序设计范型,它支持关注点的分离,解决了面向对象方法中代码“纠缠”和“分散”的问题,使模块的内聚性提高,耦合度降低,提高了代码的复用性。但是面向方面编程范型也给面向方面程序的测试带来了挑战,传统的测试技术不能完全适应,为了更好地进行测试,本文通过对AspectJ语言进行分析,给出了八种面向方面程序的错误类型,便于进一步地进行面向方面程序测试的研究。     

面向方面软件动态耦合的度量

耦合性是两个模块间相互作用的测度。面向方面编程是一种新的编程范型,它支持关注点的分离。目前,对于面向方面软件耦合度量的常用方法是对软件进行结构分析和静态代码分析。然而,由于系统中的动态绑定以及代码中大量无用的方面代码导致静态度量结果无法精确地反映程序运行时的实际耦合。首先提出适用于面向方面软件的动态耦合度量框架。接着,在该框架的基础上,根据不同的耦合关系类型,形式化定义了动态耦合度量指标集,并验证数学属性。最后,讨论了动态耦合度量工具的实现。     

面向方面程序的简化动态依赖图切片方法

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。     

面向方面的自动化重构方法

提出一种将面向对象程序重构为面向方面范型的自动化方法。该方法分挖掘和重构两个阶段进行。第一阶段挖掘面向对象程序中潜在的横切关注点,第二阶段将横切关注点重构为方面。给出一个约13 000行代码的程序自动重构的评价结果。     

一种基于模板的面向方面重构框架的研究

面向方面编程是一种新的编程范型,而面向方面重构则是当前面向方面软件开发中的一个研究热点。首先对面向方面重构进行了分类研究,然后引入基于角色的横切关注点重构方法,最后在此基础上提出一种基于模版的面向方面重构框架。     

面向方面编程(AOP)介绍

面向方面的编程方法简化,并优化了对横切关注点的建模.使用面向方面的编程方法,开发者可以开发出易于设计、理解和维护的系统,而且,使用AOP意味着提高代码的产量、质量,也有益于更好地实现追加的特性.该文介绍了面向方面编程产生的背景、基本概念和特性.     

面向方面编程在Web系统中的应用

面向对象编程作为主流编程范型在Web系统设计与实现中得到了很好的应用,但同时也早已暴露出不足。面向方面编程很好地解决了横切关注点的问题,从一个更高的角度对系统进行了分解,研究了面向方面编程在Web系统中的应用。     

面向方面编程方法的研究

本文介绍了一种新型的编程方法——面向方面编程(Aspect-OrientedProgramming,AOP),它是面向过程、面向对象方法的进一步发展。面向方面编程解决了代码分散和代码纠缠问题,提高了软件开发效率、可重用性、系统的可理解性、可维护性和可演进性。     

基于AOP的信息管理系统的研究与实现

面向对象的编程OOP（Object Oriented Programming）能够有效地解决面向过程语言的缺陷,现有的软件项目大都采用面向对象的编程范型。但是OOP不能解决由于横切属性带来的代码混乱和代码分散等诸多问题,导致系统的可读性和复用性差,因此引入了面向方面的编程AOP（Aspect—Oriented Programming）思想。该编程思想可使开发者有效地将业务关注点与横切关注点分离,解决OOP的难题。介绍了AOP技术中较成熟的语言——AspectJ及其相关概念,通过一个信息管理系统,展示AOP技术在处理横切关注点时发挥的优势。     

面向RISC-V的汇编程序语义等价性自动化测试系统

本文设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.在面向RISC-V开发软件时,尤其是基于扩展指令(例如向量指令)编写高效的程序时,很难避免以手写汇编的方式编写代码.例如,为标准的C函数库编写相应的向量版函数.与编译器自动生成的代码不同,手写的汇编代码虽然可以最大限度地提高程序的效率,但因绕过了编译时对程序的约束(如类型检查、寄存器分配等)而对开发者提出了更高的要求.能否对新版本与标准版本的汇编程序进行快速地、自动化的语义等价性测试,将大大影响代码的正确性和软件开发和调试的效率.已有面向RISC-V的测试框架缺乏对语义等价性测试的支持,也未考虑程序执行带来的副作用.本研究基于模拟器的动态测试环境,设计并实现了一套面向RISC-V的汇编程序语义等价性自动化测试系统.系统通过跟踪机器状态,捕获程序执行的副作用,并结合用户定义的测试目标生成测试报告.实验表明,本系统相比已有的测试系统,能够有效地对RISC-V汇编程序的语义等价性进行测试.