重写技术在面向对象程序维护中的应用  

Theoretical Study of Program Rewriting Technology

作　　者：姜利[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学与工程系

出　　处：《上海交通大学学报》1998年第4期104-108,共5页Journal of Shanghai Jiaotong University

摘　　要：在面向对象程序的系统中，如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用，提出了程序重写技术的基本思想及其框架结构，该模型在借鉴了抽象的重写系统和重写逻辑的基础上，构造了面向对象程序的重写理论，并定义了重写系统的模型．在该模型中，通过研究并定义对象行为的三种状态（即初态，中态，终态）变换，结合实际可能使用的重写规则，可将对程序行为的描述重写成所包含对象状态变换的描述，进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后，给出了该模型的语义解释及其在程序测试和维护中的应用．By combining the idea of object oriented designing and application of rewriting technique, this paper proposes the basic idea and schema structure of program rewriting, which constructs an object oriented program rewriting theory and defines a model of rewriting system by drawing lessons from abstract rewriting system and rewriting logic. Through studying and defining three state transformations of object behavior (that is: the initial state, the middle state and the last state) in the model, we can rewrite the description of program behavior to the description of the object state transformations by combining the rules that may be applied in the reality. From this model, we can describe the program behavior by using object state normal form in the program execution. By strictly defining the corresponding concepts, this paper gives the semantic explanations of the program rewriting and its possible directions of application in program testing and maintaining.

关 键 词：面向对象 程序设计 程序重写 重写系统 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] TP311.54[自动化与计算机技术—计算机科学与技术]