一种基于模块单子语义的动态程序切片方法
An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics作者机构:东南大学计算机科学与工程系
出 版 物:《计算机学报》 (Chinese Journal of Computers)
年 卷 期:2006年第29卷第4期
页 面:526-534页
核心收录:
学科分类:0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0839[工学-网络空间安全] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:国家杰出青年基金(60425206) 国家自然科学基金(60373066 90412003 60403016) 国家"九七三"重点基础研究发展规划项目基金(2002CB312000) 国家教育部博士点基金(20020286004) 江苏省高校自然科学研究计划项目基金(05KJD520151)资助.
摘 要:提出一种基于程序模块单子语义的新动态切片方法———模块单子动态切片.首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器.然后,将该切片转换器作为模块加载到实际程序中,并给出相应的模块单子动态切片算法.据此,可直接在抽象语法结构上计算动态切片,不必记录程序执行历史;相应单子切片器也无需显式地构造诸如依赖图的中间结构.这种模块化抽象机制使得文中的动态切片算法具有很强的可扩展性和重用性.