-
题名基于路径覆盖准则的AOP路径生成方法研究
- 1
-
-
作者
王波
柴玉梅
王黎明
-
机构
郑州大学信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第11期4209-4213,共5页
-
文摘
在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示方法,构造出完整AOP语句控制流图;遍历完整AOP语句控制流图,得到从源节点到终节点的所有路径,这些路径中的可执行路径即是满足路径覆盖准则的测试路径。
-
关键词
面向方面程序
控制流信息
路径覆盖
语句控制流图
交互
-
Keywords
aspect-oriented programming
control-flow information
path coverage
statement control flow graph
interaction
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于谓词动态切片技术的AOP测试用例生成方法研究
- 2
-
-
作者
王波
柴玉梅
王黎明
-
机构
郑州大学信息工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1321-1327,共7页
-
文摘
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.
-
关键词
面向方面程序设计
语句控制流图
谓词动态切片
分支函数
-
Keywords
aspect-oriented programming
statement control-flow graph
predicate dynamic slicing
branched function
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
