基于时序逻辑的Object-Z类切片的扩展

• 作者: 佟长英 沈云付
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 程序切片 Kripke结构 Object-Z 时序逻辑 间隔逻辑 通用堆栈
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 13-16,21
• 页数: 5页
• 分类号: TP311.5
• 字数: 3764字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2009.06.004

摘要

文中对程序切片进行了研究,报告了程序切片的现状,进行了Object-Z类切片方面的调查.为使(Object-Z规格易于验证,对Obiect-Z作切片处理是必须的.以Ogject-Z的通用堆栈类为实例,对类的描述进行扩展,给出了相应的Kripke结构.通过面向对象程序依赖图对Object-Z进行切片,实现了Object-Z的抽象,给出了对于一个类或具有继承关系的多个类的刻划,即证明了在状态和事件上的公式在原模型与抽象模型中保持,扩展了Object-Z类切片方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈云付	上海大学计算机工程与科学学院	31	119	7.0	10.0
2	佟长英	上海大学计算机工程与科学学院	1	0	0.0	0.0