- 文献综述（或调研报告）
目前已有团队在设计，实施和评估Imp—一个大型软件系统的静态修改影响分析框架。而在以前是没有研究或框架来探讨大型和不断发展的工业软件产品的修改影响分析静态程序切片。这是第一批来识别和解决超过100万行代码的设计系统中基于静态切片变化影响分析框架的独特挑战。对于这样的大型系统，构建时间和总时间片，而不是由任何以前的工作的考虑，成为实质性的实际修改影响分析的一大路障。为了解决这些问题，时间和准确性权衡了仔细调查是必需的，这是由Imp的框架来实现的。
显然，也有必要支持维护，特别是用Visual Basic编写的程序的影响分析。程序切片理论上是非常适合和有前途的技术来支持特别系统和详细级别的影响分析。然而存在一些问题： 1）研究切片主要还停留在理论阶段;只有少量的前向切片工具。 2）他们中的大多数都在支持的编程语言方面有实际的限制;传统上，只支持C。 3）尤其是，静态切片的效率历来是一个问题。 4）在许多切片机中，切片的完整性一直比较薄弱。 5）前向切片机往往是复杂的，由于实行了传统切片算法的复杂性。
[1] Weiser M. Program Slicing. Software Engineering IEEE Transactions on, 1984, 10(4):352-357.
[2] Mithun Acharya, Brian Robinson. Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems .ABB Corporate Research Raleigh NC USA 27606.
[3]Katsuhisa Maruyama1, Eijiro Kitsu2, Takayuki Omori1, Shinpei Hayashi3 .Slicing and Replaying Code Change History
[4] Jaakko Korpi1, Jussi Koskinen2 .Supporting Impact Analysis by Program Dependence Graph Based Forward Slicing
[5] 李必信. 程序切片技术及其应用[M]// 科学出版社, 2006.
