首页> 中文期刊> 《计算机应用》 >一种基于LTL性质的面向对象并发程序切片方法

一种基于LTL性质的面向对象并发程序切片方法

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法.切片后的程序与原程序对待验证的LTL性质具有相同的可满足性,而其对应的状态转换图中的状态个数明显减少.

著录项

来源
《计算机应用》 |2008年第5期|1300-1302,1306|共4页
作者
戎玫; 何志学; 张广泉;
展开▼
作者单位

暨南大学;

深圳旅游学院;

广东;

深圳;

518053;

苏州大学;

计算机科学与技术学院;

江苏;

苏州;

215006;

苏州大学;

计算机科学与技术学院;

江苏;

苏州;

215006;

重庆师范大学;

数学与计算机科学学院;

重庆;

400047;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
程序切片; 线性时序逻辑性质; 并发程序; 程序验证;

相似文献

中文文献
外文文献
专利

1. 一种基于离散时间自动机的LTL性质检测工具 [J] . 张文亮 ,彭云全 . 计算机仿真 . 2008,第004期
2. 一种粗粒度并发程序切片方法 [J] . 戚晓芳 ,徐宝文 . 微电子学与计算机 . 2004,第10期
3. 一种基于面向对象Petri网的并发程序建模方法 [J] . 任爱华 . 北京航空航天大学学报 . 1998,第004期
4. 一种基于面向对象Petri网的并发程序建模方法 [J] . 任爱华 ,牛锦中 . 北京航空航天大学学报 . 1998,第004期
5. 基于偏序约简程序可达图的并发程序切片方法 [J] . 戚晓芳 ,徐晓晶 ,江振亮 . 计算机学报 . 2014,第003期
6. 一种基于程序切片的缓冲区溢出漏洞检测方法 [C] . 张迎周 ,钱晓飞 ,李频 . 2008中国计算机大会 . 2008
7. 面向对象并发程序切片技术及其在程序验证中的应用 [A] . 何志学 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号