一种带有异常处理结构的程序切片图示构造方法

来源 :大众科技 | 被引量 : 0次 | 上传用户:qmdx521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了得到带有异常处理结构的切片,文章从传统控制流图到系统依赖图进行了层层改进,给出了构造系统依赖图的算法,并以此为基础得到精确的程序切片。该方法可以处理因为异常结构而引起的数据流和控制流的变化,有助于实现基于异常传播的程序依赖性分析的自动处理。
其他文献
本文主要研究不同成型工艺对生土材料强度、耐水性和微观结构的影响.实验结果显示,试件成型压力30MPa时,生土材料的抗压强度达到15.6MPa,但其软化系数仅为0.64;振动成型试件
提出一种基于非下采样轮廓波变换(nonsubsampled contourlet transform,NSCT)的分区域自适应插值算法,将图像划分为不同区域,相应地采用不同的方法实现图像插值.首先,构造了一类有理函数插值模型,分析了其C2连续性条件,给出了误差估计.其次,通过NSCT捕获到图像的边缘轮廓信息,利用其高频信息的统计特性设定阈值,根据阈值将图像自适应地划分为边缘区域和非边缘区域.最后,
基于图形处理器(graphics processing unit,GPU)加速设备的高性能计算机已经成为目前高性能计算领域的一个重要发展趋势.然而,在当前的GPU设备上开发高效的并行程序仍然是一件