分享到:

程序分片技术及应用

程序分片是一种分析和理解程序的技术.系统介绍了程  (本文共7页) 阅读全文>>

吉林大学
吉林大学

面向信号的ATLAS语言分片技术

本文对ATLAS语言的静态程序分片技术进行了研究。本文首先分析了ATLAS语言所特有的面向信号语句、定时语句、数据总线语句,提出一种基于虚拟资源的设备依赖和时序依赖;设备依赖给出一条信号语句对另一条信号语句在虚拟资源上的依赖关系。时序依赖给出一条信号语句对另一条信号语句定时或延时的控制关系。本文根据ATLAS语言的特点提出新的分片准则,不仅可以对变量进行分片,也可以对虚拟资源进行分片。本文给出一种增强系统依赖图ASDG,相对于传统的系统依赖图它增加了设备依赖边和时序依赖边,并且改进了对图进行遍历的两阶段图形可达性算法,在此基础上最终实现了ATLAS语言程序分片系统。本文还将ATLAS语言分片系统应用于资源配置,给出一种利用程序分片技术获取信号并行性的方法,为资源配置的实现提供了必要的信息。  (本文共71页) 本文目录 | 阅读全文>>

吉林大学
吉林大学

一种小型面向对象语言的程序分片技术

程序分片是一种非常重要的分析和理解程序的方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(分片),然后通过分析分片来分析源程序的行为。程序分片的概念被提出以后,受到了广大研究人员和软件开发人员的关注,使得它在软件分析、理解、调试、测试、度量、软件质量保证、逆向工程等方面得到了广泛的应用。本文以一种自定义的模型面向对象语言(Model Object-Oriented Language,简称MOOL)为例,给出了一个完整的静态程序分片系统(MOOL Slicing Tool,简称MST)的设计与实现过程。内容包括通过语法分析获得源程序的代码信息树(Code Information Tree,CIT),在代码信息树的基础上,分析源程序的控制依赖和数据依赖关系,并采用分层分片和逐步求精算法分别构造出源程序的类级依赖图、方法级依赖图和语句级依赖图,以及利用这些依赖图分别获得类级分片、方法级分片和语句级...  (本文共69页) 本文目录 | 阅读全文>>

吉林大学
吉林大学

一种JAVA语言的程序分片技术

程序分片是一种程序抽取技术,对于程序分析、程序理解以及软件工程的各个领域都很有帮助。自从1979年被提出以来,程序分片受到人们的广泛关注,目前它的技术已经很成熟。特别静态分片和动态分片部分,算法很多,且已经十分成熟。它的主要算法有 Mark Weiser 提出的数据流等式算法,K.J.Ottendtein和L.M.Ottendtein以及Horwitz 提出的基于依赖图的图可达性算法,Bergeretti提出的信息流算法等。随着静态分片技术的不断成熟,人们开始研究分片的新领域,首先提出针对不同语言的分片算法,如Larsen和Harrold的针对C++语言的图的可达性算法,Kovacs et al 和Zhao修改后解决JAVA系统特殊机制的方法;其次对分片的概念加以扩充,出现了条件分片,无定型分片等概念。这些方法和概念的提出,把分片带到了更加广阔的领域。随着面向对象语言的广泛应用,人们开始研究针对面向对象语言的分片技术。但是面向对...  (本文共66页) 本文目录 | 阅读全文>>

《北华大学学报(自然科学版)》2002年03期
北华大学学报(自然科学版)

过程间的程序分片技术

程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用 .过程...  (本文共5页) 阅读全文>>

《计算机应用研究》2004年01期
计算机应用研究

遗传算法在汇编语言程序分片中的应用

程序分片在程序设计、并行、诊断与测试等方面均有广泛的应用,介绍了一种用遗传算法计算最 小动态分片的算...  (本文共3页) 阅读全文>>