首页> 中文期刊> 《汕头大学学报：自然科学版》 >基于抽象实现结构图的数据流方程切片方法

基于抽象实现结构图的数据流方程切片方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.

著录项

来源
《汕头大学学报：自然科学版》 |2006年第3期|48-53|共7页
作者
刘建宾; 郑敏;
展开▼
作者单位

汕头大学工学院计算机系;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
抽象实现结构图; 过程蓝图; 程序静态切片; 数据流方程; 自动方法;

相似文献

中文文献
外文文献
专利

1. 用动态模糊聚类方法实现数据流图向结构图的择优转换 [J] . 郝玉兰 . 东北重型机械学院学报 . 1996,第002期
2. 一种基于抽象解释和通用单调数据流框架的值范围分析方法 [J] . 姬孟洛 ,王怀民 ,李梦君 . 计算机研究与发展 . 2006,第011期
3. 基于脉冲数据流的雷达辐射源个体识别方法及实现 [J] . 严勇 ,刘瑞丰 ,王海剑 . 舰船电子对抗 . 2020,第003期
4. 基于事务数据流的可重构SoC性能分析方法研究与实现 [J] . 胡敏慧1 ,李思昆1 ,王观武1 . 软件工程与应用 . 2015,第006期
5. 基于数据流的SoC性能建模方法及实现 [J] . 孟昕 ,沈海斌 ,严晓浪 . 浙江大学学报：工学版 . 2011,第002期
6. 基于属性偏序结构图方法的膝骨关节炎熏洗处方用药规律研究 [C] . PAN Jian-ke ,潘建科 ,HE Yu . 第五届全国中医药博士生学术论坛 . 2014
7. 基于类图和抽象实现结构图的软件再工程 [A] . 郑敏 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号