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

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

扫码查看
为了提高静态切片精度,本文结合程序抛出异常时产生的堆栈追踪信息进行程序执行轨迹的推测,找出那些确定没有执行的方法或语句,设计并实现考虑实时栈信息的Java程序静态切片工具.实验结果表明,该切片工具进一步减少搜索空间,可以提高普通静态切片方法的精度和效率.
Static Program Slicing Tool with Real-time Stack Information
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 specu-lating the program execution paths using stack trace information, which would be generated when an exception is thrown. Experi-ment results show that the slicing tool can reduce search space further, and improve the accuracy and efficiency of the general static slicing method.

stack traceexecution pathsstatic slicingsearch space

龚风光、李霞、王文雯、姜淑娟

展开 >

中国矿业大学计算机科学与技术学院,江苏徐州221116

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

国家自然科学基金江苏省自然科学基金资助项目江苏省大学生实战创新训练计划

60970032BK2008124S2010016

2011

计算机与现代化
江西省计算机学会 江西省计算技术研究所

计算机与现代化

CSTPCD
影响因子:0.472
ISSN:1006-2475
年,卷(期):2011.(12)
  • 1