技术特征：
技术总结
本发明公开了一种计算Java程序动态切片的方法，该方法包括：对Java程序字节码插桩，跟踪Java程序方法的执行及调用，获得执行记录；根据所述执行记录建立Java动态系统依赖图，所述Java动态系统依赖图包括静态依赖图和动态依赖图；通过程序动态执行信息建立所述动态依赖图，过语法词法分析获得程序静态信息建立所述静态依赖图；采用后向遍历所述Java动态系统依赖图的切片算法获得Java程序动态切片。本申请通过跟踪程序方法的执行，利用程序动态执行信息和静态信息建立动态系统依赖图，并在动态系统依赖图上采用两步图可达性算法获得动态切片。本方法有效地提高了Java程序动态切片的效率。
技术研发人员：刘尚国;董利军
受保护的技术使用者：刘尚国
技术研发日：2018.04.27
技术公布日：2018.09.28