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

ynamic 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 intermediate structures such as dependence graphs and of an execution history. It is showed to be an appropriate approach to program slicing with excellent flexibility and modularity properties.