基于面向对象程序的一种波动分析方法及其实现

A Kind of Ripple Analysis Approach and It's Implementation Based on Object-Oriented Program

"波动”一词从程序设计出现就已经产生.在程序中,各个语句之间不是孤立的,一个语句执行后的不同结果可能使另一个语句执行时得到不同的结果,或者决定了另一个语句执行或者不执行,这两种情况都称前一个语句影响了后一个语句.那么,当修改程序的某个部分(语句)时,可能潜在地影响到程序的其它部分(语句),这就是程序中存在的波动效应[1],而找出对某个部分的修改影响波动到的程序范围也就是波动分析.在Weiser提出程序切片的概念以后,程序切片方法不断扩充和发展,成为波动分析的主流.本文所讨论的波动分析与程序切片有所不同,是根据面向对象语言的特点、针对类及其成员而提出,以图在程序修改的前后,找到相应方法所能波动到的类和成员,减少语法语义错误和帮助程序理解.

Ripple Analysis is a means to aid programmer for programming and program understanding. New feature of Object-Oriented language brings new ripple effect as well as new object to be analysed. In this paper,ripple effect based on level of member-method and an approach for ripple analysis are discussed. Then,the principle and implementation of our analysis tool are briefly introduced.