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