基于模块单子语义动态程序切片.pdfVIP

_______________________________________________________________________________ 基于模块单子语义的动态程序切片∗ 张迎周，徐宝文 (东南大学计算机科学与工程系，南京 210096) ( 江苏省软件质量研究所，南京 210096) mathzyz@163.com, bwxu@ 摘 要: 本文提出了一种新的动态切片方法──模块单子动态切片，它基于程序的模块 单子语义。首先通过单子转换器，将切片这一类计算抽象成独立于具体语言的实体：切片单 子转换器，并给出其具体定义。然后，将该切片转换器模块化地加载到实际程序中，给出了 相应的模块单子动态切片算法。据此，可直接在抽象语法结构上计算动态切片，无需引入诸 如控制流图或依赖图的中间结构，也不必记录程序执行历史。这种模块化抽象机制使得文中 的动态切片算法具有很强的可扩展性和重用性。 关键词：程序切片，动态切片，单子，模块性，模块单子语义 论文学科类别：520 Dynamic Program Slicing Based on Modular Monadic Semantics Yingzhou Zhang, Baowen Xu (Dep. of Computer Science and Engineering, Southeast University, Nanjing 210096, China) (Jiangsu Institute of Software Quality, Nanjing, 210096, China) Abstract: Dynamic program slicing is useful for software testing and maintenance phases because it can extract smaller slices than the slices done by static slicing. But dynamic slicing requires a huge overhead for obtaining run-time information. This paper presents a new dynamic slicing method, the modular monadic approach, which is based on modular monadic semantics. With the use of monad transformers, the computation of program slicing can be abstracted as an entity that is independent of the language being analyzed, dynamic-slice monad transformer. Its definition is provided in this paper. This paper also gives and illustrates dynamic slicing algorithm based on modular monadic semantics. The algorithm lets dynamic slices to be computed directly on abstract syntax, without explicit construction of i