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

摘要：

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

机标关键词：面向对象语言、程序切片、波动分析、语义错误、方法、程序修改、程序设计、程序理解、不同结果、波动效应、语法、扩充、概念

所属期刊栏目：28

分类号：TP31(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：35-37