重写技术在面向对象程序维护中的应用 |
| |
引用本文: | 姜利 孙永强. 重写技术在面向对象程序维护中的应用[J]. 上海交通大学学报, 1998, 32(4): 104-108 |
| |
作者姓名: | 姜利 孙永强 |
| |
摘 要: | 在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题.结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型.在该模型中,通过研究并定义对象行为的三种状态(即初态,中态,终态)变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的.在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用.
|
关 键 词: | 面向对象程序设计;程序重写;重写系统;重写逻辑 |
Theoretical Study of Program Rewriting Technology |
| |
Abstract: | |
| |
Keywords: | object oriented programming rewriting system program rewriting rewriting logic |
本文献已被 维普 等数据库收录! |