基于谓词动态切片技术的AOP测试用例生成方法研究

• 作者: 柴玉梅 王波 王黎明
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 面向方面程序设计 语句控制流图 谓词动态切片 分支函数
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 计算机软件与数据库技术
• 页码范围: 1321-1327
• 页数: 7页
• 分类号: TP311
• 字数: 7946字
• 语种: 中文

摘要

面向方面程序设计是面向对象程序设计技术的补充和完善,高效的面向方面程序测试方法是面向方面程序的质量保证.提出一个基于谓词动态切片技术的测试方法.首先,构造完整的AOP语句控制流图,它包含AOP的方面、切入点、连接点、建议等因素.然后,根据完整的AOP语句控制流图生成所有路径,针对每条路径,构造其分支函数,计算得到相应的测试数据,若路径不可执行,则不再计算其测试数据.在这个过程中,通过构建简化动态依赖图来生成谓词动态切片,再用谓词动态切片来帮助调整测试数据.最后,将各路径的实际输出数据与期望输出数据相比较,即可判断该程序是否有错误.经实例分析和实验验证,此方法可以系统地测试一个完整的面向方面程序,提高了测试数据的生成效率,并产生有效的测试用例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王黎明	郑州大学信息工程学院	81	602	14.0	20.0
2	柴玉梅	郑州大学信息工程学院	71	900	17.0	28.0
3	王波	郑州大学信息工程学院	20	98	7.0	9.0