[1]佟长英 沈云付.基于时序逻辑的Object-Z类切片的扩展[J].计算机技术与发展,2009,(06):13-16.
　TONG Chang-ying,SHEN Yun-fu.Extending Slices of Object - Z Classes Based on Temporal Logic[J].,2009,(06):13-16.
点击复制

基于时序逻辑的Object-Z类切片的扩展()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年06期
页码:
13-16
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Extending Slices of Object - Z Classes Based on Temporal Logic
文章编号:
1673-629X（2009）06-0013-04
作者:
佟长英 沈云付
上海大学计算机工程与科学学院
Author(s):
TONG Chang-ying;  SHEN Yun-fu
School of Computer Engineering and Science, Shanghai Univ
关键词:
程序切片; Kripke结构; Object-Z; 时序逻辑; 间隔逻辑; 通用堆栈
Keywords:
program slicing;  Kripke construct;  Object-Z;  temporal logic;  interval logic;  general stack
分类号:
TP311.5
文献标志码:
A
摘要:
文中对程序切片进行了研究，报告了程序切片的现状，进行了Object-Z类切片方面的调查。为使Object-Z规格易于验证，对Object-Z作切片处理是必须的。以Object-Z的通用堆栈类为实例，对类的描述进行扩展，给出了相应的Kripke结构。通过面向对象程序依赖图对Object-Z进行切片，实现了Object-Z的抽象，给出了对于一个类或具有继承关系的多个类的刻划，即证明了在状态和事件上的公式在原模型与抽象模型中保持，扩展了Object-Z类切片方法
Abstract:
In this paper, program slicing is studied and present situation of program slicing is reported, then Object - Z class slicing is investigated. In order to verify Object - Z easily, slicing is must be done. The description of class is extended and the corr

相似文献/References:

[1]高鹏飞 沈云付.程序切片技术在并发程序模型检查中的应用[J].计算机技术与发展,2008,(11):163.
　GAO Peng-fei,SHEN Yun-fu.Application of Program Slicing Technology to Concurrent Programming Model Checking[J].,2008,(06):163.
[2]陈永郑 李龙澍.基于程序切片技术的回归测试方法研究[J].计算机技术与发展,2007,(12):113.
　CHEN Yong-zheng,LI Long-shu.Regression Testing Based on Program Slicing[J].,2007,(06):113.
[3]周婕 慕晓冬 王杰.一种C＋＋程序切片系统的设计与实现[J].计算机技术与发展,2006,(07):20.
　ZHOU Jie,MU Xiao-dong,WANG Jie.Design and Implementation of a Kind of C ＋ ＋ Program Slicing[J].,2006,(06):20.
[4]王伟 杨庚 张迎周 孔华云.基于程序切片和服务构件的语义Web服务组合[J].计算机技术与发展,2011,(11):141.
　WANG Wei,YANG Geng,ZHANG Ying-zhou,et al.Semantic Web Service Composition Based on Program[J].,2011,(06):141.
[5]洪云端,李永明.多值可能性模型检测器的设计与实现[J].计算机技术与发展,2019,29(05):62.[doi:10. 3969 / j. issn. 1673-629X. 2019. 05. 013]
　HONG Yun-duan,LI Yong-ming.Design and Realization of Multi-valued Model Checker[J].,2019,29(06):62.[doi:10. 3969 / j. issn. 1673-629X. 2019. 05. 013]

备注/Memo

备注/Memo:
国家863项目（2007AA012144）佟长英（1980-），男（满族），吉林吉林人，硕士研究生，研究方向为模型检查；沈云付，博士，副教授，研究方向为模型检查。
更新日期/Last Update: 1900-01-01