摘要
面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.
Aspect-oriented programming （AOP） is the complement and perfection of the technology of object-oriented programming （ OOP）, while efficient AOP testing method is the quality assurance of AOP. In this paper, we propose an effective testing method which is based on Predicate Dynamic Slicing. First of all, our method constructs Complete AOP Statement Control Flow Graph which contains the aspect, pointcut, join point and advice of AOP. Then, the method generates all of the paths of AOP from Complete AOP Statement Control Flow Graph and constructs branched function of each path to obtain its corresponding testing data. If the path can- not execute, the method fails to generate the testing data. During this procedure, it would build Simplified Dynamic Dependency Graph to generate the predicate dynamic slicing which can help to adjust the test data afterwards. Ultimately, to each path, we com- pare the actual output with desired output to decide whether the software has bugs or not. Cases analysis and experimental results show that our solution can test an integrated AOP systematically, meanwhile improve the efficiency when producing the testing data, and e- ventually obtain valid test cases.
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第6期1321-1327,共7页
Journal of Chinese Computer Systems
关键词
面向方面程序设计
语句控制流图
谓词动态切片
分支函数
aspect-oriented programming
statement control-flow graph
predicate dynamic slicing
branched function
