Research Initiation Award: Dynamic Program Slicing

研究启动奖：动态程序切片

• 批准号: 9308895
• 负责人: Bogdan Korel
• 金额: $ 9.86万
• 依托单位: Wayne State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-09-01 至 1997-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9308895&HistoricalAwards=false
• 关键词: Research; Initiation; Award; Dynamic; Program

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. ***

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