多线程程序的静态切片系统

来源 :吉林大学 | 被引量 : 0次 | 上传用户：ruinx

【摘要】

：

程序切片是分析和理解程序的一种重要技术.Jens Krinke教授提出了一种多线程程序的切片算法,通过判断多线程程序中的可实现路径,能够计算比较精确的程序切片.该文就是受Jens

【作者】

：

张晶

【机构】

：

吉林大学

【出处】

：

吉林大学

【发表日期】

：

2001年期

【关键词】

：

多线程程序静态切片系统

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

程序切片是分析和理解程序的一种重要技术.Jens Krinke教授提出了一种多线程程序的切片算法,通过判断多线程程序中的可实现路径,能够计算比较精确的程序切片.该文就是受Jens Krinke教授的启发,开发了一个试验性的多线程程序的静态切片系统——SSSMTP,该系统不仅能处理单过程的多线程程序,也能处理带过程的多线程程序.

其他文献

Linux核心支持的检查点(Checkkpoint)系统的研究与实现

该文的目的是研究一种通用操作系统中检查点系统的设计方法,并基于该设计在Linux中实现一个原型系统,然后在该原型之上进一步改进和完善系统,将它作为并行检查点系统的低层支

学位

检查点系统设计方法Linux设计思想状态检查状态恢复

一个基于图像中语义对象的图文双向查阅系统的设计与实现

在日常工作和生活中，大量信息是用图的形式来表现的。人们常常指着图上的某个对象询问其名称或属性，针对图上某个对象到正文中查阅有关的段落，或是针对正文中的某个词语到图中查

学位

人际通信人机通信引用指点引用图像语义面向对象的程序设计

群体决策支持系统中的信息共享技术研究

本文首先介绍了课题来源、背景，由于数据文件在各系统中的格式不同，不同数据库中的存贮格式不同，而常常需要对系统中的各种数据提供一个统一管理界面，从而引出了数据库和程序语言

学位

群体决策支持系统中间件信息共享异构数据库ASMIDAS

基于代数特征抽取的人脸图象识别方法的研究

人脸图象识别是当前模式识别和人工智能领域的一个研究热点,该文通过研究分析国内外在人脸图象识别方面的研究情况,探讨了基于代数特征抽取的人脸图象识别方法.该文的出发点

学位

人脸图象识别代数特征QR算法模式识别人工智能

嵌入式JAVA在摩托罗拉芯片上的实现

该文介绍了Java语言功能特点及其发展前景,并且简单介绍了Java的内核——虚拟机.文章还分析了当前Java发展的趋势以及嵌入式系统领域对Java潜在需求.

学位

嵌入式系统Java虚拟机嵌入式Java实时操作系统Java应用程序接口Java类库Java本地方法

极指数栅格视觉在测距中的研究

该文主要研究了极指数栅格视觉在测距中的应用.获取空间三维场景的距离信息是计算机视觉中最基础的内容,双目视觉(立体视觉)是计算机视觉测距方法中最重要的距离感知技术.在

学位

计算机视觉极指数栅格视觉双目视觉

异构数据库上网集成平台的研究与实现

该文针对原有的计算机信息系统中异构数据库系统并存的现实状况,提出了构建一个异构数据库上网集成平台,用来集成异构数据库中的数据,把它们方便地送到互连网上.该文详细地比

学位

Web数据库异构数据库体系结构对象请求代理接口定义语言

混合密码认证模型的分析与研究

随着网络技术的发展,人们在享受网络开放性带来便利的同时也受到网络安全问题的威胁.身份认证是网络安全的第一步,传统的认证有两种方式:对称密码体制和非对称密码体制,二者

学位

网络安全认证对称密码体制非对称密码体制BAN逻辑

基于演化算法和分形理论的黑白图像压缩

该论文将从理论上和实践上介绍了一种完全不同于传统压缩技术的压缩思想:基于演经算法和分形理论的黑白图像压缩方法.分形图像压缩的本质是由于现实图像中人有高度的自相似自

学位

分形图像压缩迭代函数系统压缩仿射变换演化算法

基于Hypertable的空间数据存取服务

数据挖掘作为当今各大企业和研究机构的一个主要的热门领域,正在飞速发展着,而海量数据的存取服务问题属于数据挖掘众多热门的研究分支之一。对于数据管理人员来说,大数据的

学位

分布式数据存储系统GFSChubbyHypertable航运信息化管理平台港口监控

多线程程序的静态切片系统

与本文相关的学术论文