一种面向对象并发程序的动态切片方法

程序切片是面向对象并发程序分析、理解、测试和维护的重要手段。针对Java程序的同步和通信机制,首先介绍了一种面向对象并发程序的表示方法——多线程依赖图,然后提出利用变量缓存表分析程序语句间依赖关系的方法,根据分析结果建立多线程依赖图,并在此基础上采用两步遍历图可达性算法计算动态程序切片。