Z形式规约切片.pdf

摘要 程序切片是由w西serM．提出的一种重要的程序分析和理解的方法，用 于从源程序P中抽取对程序中特定点p上的特定变量V有影响的语句和控 制条件，组成新的程序(称作切片)，然后通过分析切片来分析源程序的行 为，其中p，v称作切片标准。程序切片技术的研究、发展和应用已经经历 了二十多年，众多学者对切片技术作过专门的研究和应用开发，并且取得 了一些具有理论和应用价值的成果，使得它在程序分析、理解、优化、调 试、测试、度量、复用、程序变换、模型检查、软件安全、软件维护、软 件逆向工程、软件再工程中得到了广泛应用。 随着人们对切片技术的进一步研究，切片的概念不断延伸，切片应用 范围也在不断扩大。现在切片技术已经不仅仅是对程序源代码的分析，而 T和Ara妯K． 是已经应用到形式规约、uML和软件体系结构等方面。Oda J．和 最早于1993年把程序切片的思想引入到z形式规约中去；随后chang RjchardsonD．J．于199