【程序切片技术及其在面向对像软件度量和软件测试中的应用】李必信.pdf

南京大学博士学位论文程序切片技术及其在面向对象软件度量和软件测试中的应用作者:李必信专业:计算机软件与理论研究方向:软件工程导师:郑国梁教授南京大学计算机科学与技术系 2000年10月

摘要程序切片是一种程序分析技术,它是通过把程序减少到只包含与某个特定计算相关的那些语句来分析程序的。切片回答了这样一个问题“哪些程序语句潜在地影响变量v在语句s的值？”MarkWeiser引I入程序切片概念,因为他观察到程序员在调试过程中脑海中就有关于程序的某种抽象。人们在调试一个程序的时候总是从错误语句s开始,并沿着依赖关系跟踪到它影响的程序部分。程序切片自动计算这些依赖,在程序理解、程序分析、调试、测试、软件维护、程序集成和软件质量保证等方面对程序员有所帮助.在过去的几年中面向对象,因为它使得人们能够写出更加灵活、司复用和易维护的程序。

Abstract Program slicing is a program analyzing technique that reduces programs to those statements that arerelevantforaparticular computation.A sliceprovides the answer to the question“What program statements potentially affect the value of variable v at statement s?