基于路径覆盖准则的AOP路径生成方法研究  

Research on methods for generating AOP paths based on path coverage criteria

作　　者：王波[1] 柴玉梅[1] 王黎明[1] 

机构地区：[1]郑州大学信息工程学院,河南郑州450052

出　　处：《计算机工程与设计》2012年第11期4209-4213,共5页Computer Engineering and Design

摘　　要：在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示方法,构造出完整AOP语句控制流图;遍历完整AOP语句控制流图,得到从源节点到终节点的所有路径,这些路径中的可执行路径即是满足路径覆盖准则的测试路径。It is significant to generate the AOP paths according to path coverage criteria because when we examine quality of the aspect-oriented program, we always adopt path coverage criteria as the evaluative criteria. To produce AOP paths, the controlflow information of AOP is analyzed and introduced, the statement control flow graphs for single module and basic aspects is constructed, and then the representation of the interactions between classes and aspects are determined. Secondly, the complete AOP statement control flow graph is constructed. Ultimately, all paths from source node to destination node after the traversal of the complete AOP statement control-flow graph is obtained. The executable paths of all these paths are useful test paths which can correspond with the path coverage criteria.

关 键 词：面向方面程序 控制流信息 路径覆盖 语句控制流图 交互 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]