基于依赖标识的并发程序动态切片方法
Dependence Marking Dynamic Slicing Algorithm for Concurrent Programs作者机构:西北工业大学计算机学院陕西西安710072
出 版 物:《微电子学与计算机》 (Microelectronics & Computer)
年 卷 期:2009年第26卷第7期
页 面:206-209,213页
学科分类:08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
摘 要:针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图(COOPDG)作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决定是否动态地标识COOPDG中相应的边.该方法能降低动态切片在运行时对中间图的更新时间,以及获得切片的反应时间.