考虑实时栈信息的静态切片工具  

Static Program Slicing Tool with Real-time Stack Information

作　　者：龚风光[1] 李霞[1] 王文雯[1] 姜淑娟[1] 

机构地区：[1]中国矿业大学计算机科学与技术学院,江苏徐州221116

出　　处：《计算机与现代化》2011年第12期60-62,66,共4页Computer and Modernization

基　　金：国家自然科学基金资助项目(60970032);江苏省自然科学基金资助项目(BK2008124);江苏省大学生实战创新训练计划(S2010016)

摘　　要：为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具。实验结果表明,该切片工具进一步减少搜索空间,可以提高普通静态切片方法的精度和效率。In order to improve the accuracy of static program slicing, this paper designs and implements a static slicing tool with real-time stack information. The technology is to find out those methods or statements that are surely not executed, through speculating the program execution paths using stack trace information, which would be generated when an exception is thrown. Experiment results show that the slicing tool can reduce search space further, and improve the accuracy and efficiency of the general static slicing method.

关 键 词：堆栈追踪 执行轨迹 静态切片 搜索空间 

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