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

【程序切片技术及其在面向对像软件度量和软件测试中的应用】李必信.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?
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。