学位论文 > 优秀研究生学位论文题录展示

rCOS的操作语义及其在程序分析中的应用

作　者: 冯利波
导　师: 何积丰
学　校: 华东师范大学
专　业: 计算机应用技术
关键词: 设计模式性质检查关系演算操作语义
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 20次
引　用: 0次
阅　读: 论文下载

内容摘要

rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Programming) [3]为基础,是一种面向对象的描述语言,定义了一种用于描述面向对象程序设计结构的形式规范。rCOS具有非常丰富的语言特征,包括子类(subtypes)、引用类型(reference type)、可见性(visibility)、继承(inheritance)、多态(polymorphism)、动态绑定(dynamic binding)等。本文采用形式化的方法给出了rCOS的一种结构化操作语义。对于一段rCOS程序,按照操作语义给出的变迁规则模拟执行就能动态的产生对象图,而另一方面静态分析程序段的类声明部分就能得到对应的类图：：对象图和类图构成了rCOS程序的抽象模型。文中给出的操作语义一方面能动态地构建了对象图,同时又能捕获对象之间的关系。这样有助于帮助理解程序的行为,使得在程序分析方面起到了一定的作用,尤其在当前软件工程领域有着广泛应用的设计模式的识别上。文中将设计模式的性质定义为两类：通用属性和用户相关属性。为了能描述对象图或者类图上对象与对象或者类与类之间的关系,我们定义了一种关系演算,将类之间的关系分为继承和包含,对象之间的关系分为创建、调用和引用。文中选取抽象工厂模式、观察者模式、组成模式等为例,说明该关系演算能刻画设计模式性质。最后,本文给出一种通用的检查算法。在此基础上,又通过实验来说明算法的高效性以及能在程序段中自动判断设计模式是否正确的应用,从而能自动识别程序段中好的模式和坏的模式。

全文目录

摘要  6-7
Abstract  7-10
第一章引言  10-13
  1.1 研究背景  10
  1.2 研究内容  10-11
  1.3 文章的组织结构  11-13
第二章背景知识  13-18
  2.1 rCOS简介  13-14
  2.2 形式语义学简介  14-16
  2.3 设计模式简介  16-18
第三章 rCOS的操作语义  18-28
  3.1 rCOS语法规则  18-20
  3.2 变迁规则  20-23
  3.3 rCOS的操作语义  23-28
第四章设计模式的规范与性质  28-38
  4.1 模型生成  29-31
  4.2 关系演算  31-33
  4.3 设计模式的性质表示举例  33-38
第五章性质检测  38-45
  5.1 可满足性算法  38-41
  5.2 实验  41-45
第六章总结与展望  45-47
  6.1 总结  45-46
  6.2 展望  46-47
参考文献  47-49
致谢  49-50
攻读硕士学位期间发表论文和科研情况  50

rCOS的操作语义及其在程序分析中的应用

内容摘要

全文目录

相似论文