收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

类C语言程序分片系统的设计与实现

苏振  
【摘要】: 程序分片是一种重要的程序分析理解方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(称作分片),然后通过分析分片来分析源程序的行为。自从程序分片概念被提出以后,受到很多研究人员和软件开发人员的关注,使得它在软件测试、调试、度量、维护、程序变换、XML信息抽取、软件逆向工程与再工程等方面得到广泛应用。 本文以一种自定义的结构化语言-类C语言(C-Similar Language,简称CSL)为例,描述了一个完整的静态程序分片系统的设计与实现过程。内容包括通过语法分析获得源程序的抽象语法树,从抽象语法树构造控制流图,在控制流图上做控制流分析获得源程序的控制依赖关系,在控制流图上做数据流分析获得源程序的数据依赖关系,以及最后获得源程序的程序依赖图并以图可达性算法获得程序分片的全过程。 本文在编译技术、图论和程序分片理论的基础上,探讨了程序静态分片技术的实现策略,介绍了一种整体实现方案,是关于结构化语言静态程序分片系统实现的一种尝试。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 宋武琪,宫慧颖,李筱东;过程间的程序分片技术[J];北华大学学报(自然科学版);2002年03期
2 陆奇,张福波,钱家骅;程序分片:其改进算法与在程序验证中的应用[J];计算机学报;1988年04期
3 陆奇;钱家骅;;应用程序分片的新的软件测试与排错方法[J];计算机工程与应用;1988年12期
4 林笠,陈荣,黄巍;遗传算法在汇编语言程序分片中的应用[J];计算机应用研究;2004年01期
5 宫慧颖,宋武琪;带有指针的嵌套式语言全程数据流分析及程序分片系统[J];北华大学学报(自然科学版);2004年04期
6 朱炎;蔡国永;;基于ISDG的面向对象程序分片技术研究[J];计算机与现代化;2007年01期
7 朱炎;蔡国永;;基于ISDG的面向对象程序分片技术研究[J];计算机工程与应用;2007年04期
8 蔡国永;钱俊彦;;一种新的程序变体测试方法[J];计算机应用研究;2008年05期
9 冯铁;柴胜;张家晨;冉宏敏;;一种软件体系结构动态变动影响分析方法[J];吉林大学学报(工学版);2011年02期
10 陈学锋;王振宇;郭福顺;;面向过程程序中变量的封装[J];计算机科学;1993年04期
11 陆奇;叶纯;钱家骅;;程序设计环境FPE/1的排错设施及其在功能与实现上的特色[J];计算机工程与应用;1988年07期
12 陆奇,钱家骅;增量数据流分析及其在增量程序设计环境中的应用[J];计算机学报;1988年10期
13 冯洁;软件工程的演进(六)[J];微电脑世界;1998年41期
14 唐艳琴;窦万峰;;一种基于语义的程序融合差别合并算法[J];计算机工程与应用;2006年35期
15 徐宝文;一种逆向程序流依赖性分析方法及其应用[J];计算机学报;1993年05期
16 谢庆国,顾宏,杨建华,刘英敏;Windows作为实时控制环境的探讨[J];计算机工程与应用;1998年08期
17 弓惠生;模块内聚性的度量方法[J];计算机研究与发展;1997年08期
18 袁琦,刘磊,金成植;基于类跟踪的程序分析技术[J];小型微型计算机系统;2000年07期
19 刘磊,宫慧颖;带有指针的嵌套式语言的全程分析方法[J];小型微型计算机系统;2001年11期
20 ;[J];;年期
中国博士学位论文全文数据库 前1条
1 王新宇;大型遗留系统再工程研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前6条
1 苏振;类C语言程序分片系统的设计与实现[D];吉林大学;2006年
2 黄毅;SNL语言的部分求值器及其应用研究[D];吉林大学;2006年
3 唐艳琴;异步协同编程中基于语义的版本合并研究[D];南京师范大学;2006年
4 冀佩刚;程序静态分析研究[D];兰州大学;2006年
5 巩剑斌;面向信号的ATLAS语言分片技术[D];吉林大学;2007年
6 王智学;一种小型面向对象语言的程序分片技术[D];吉林大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978