Research Initiation Award: Dynamic Program Slicing

本课题将研究动态程序切片及其在大型程序调试中的应用。切片已被证明在程序调试中很有用。切片背后的主要思想是识别程序中可能包含错误的部分。已经证明，通过考虑特定的程序执行，与静态切片相比，动态切片可以显着减少切片的大小。因此，动态切片比静态切片更适合调试目的。我们在这个项目中的目标是继续我们早期在动态切片和算法调试方面的研究。研究内容包括构建动态切片环境，扩展动态切片理论，开发新的动态切片推导方法，以及评估动态切片在大型程序调试过程中的有效性。＊＊＊

9308895 Korel This project will investigate dynamic program slicing and its application in the debugging of large programs. Slicing has been shown to be useful in program debugging. The major idea behind slicing is to identify that part of the program that might potentially contain the fault. It has been shown that by taking a particular program execution into account, dynamic slicing may significantly reduce the size of the slice as compared to static slicing. As a result, dynamic slicing is better suited for the purpose of debugging than static slicing. Our objective in this project is to continue our earlier research on dynamic slicing and algorithmic debugging. The investigation will involve constructing a dynamic slicing environment, extending the theory of dynamic slicing, development of new methods of dynamic slice derivation, and evaluating the effectiveness of dynamic slicing in the process of debugging of large programs. ***