基于idUCf五元结构的过程间静态切片提取方法技术

本发明专利技术公开了一种基于idUCf五元结构的过程间静态切片提取方法，包括：对程序中的静态切片按照变量的类型、静态切片的位置进行表达，建立表达式；依据对变量的赋值，在所述表达式中进行倒推式搜索；提取所述变量的值等于所述赋值的所有静态切片。通过本发明专利技术可以提高计算机空间和时间的利用率，提高切片提取效率。

【技术实现步骤摘要】
【专利说明】
本专利技术涉及计算机程序分析领域，特别涉及一种基于idUCf五元结构的过程间静 态切片提取方法。
技术介绍
程序切片技术是一种重要的程序分析和理解技术，广泛应用于程序调试、测试及 软件维护中。其原理和方法最早出现在Mark Weiser的博士论文中,Weiser根据数据流方 程的迭代解对程序切片进行了定义，并提出了基于控制流图（Control Flow Graph，CFG)的 计算过程内程序切片的算法，但此方法所消耗的时间和空间均比较多，计算所得的程序切 片准确性也不是很好。K.J. Ottenstein等人引入了基于程序依赖图（Program Dependence Graph，TOG)的图形可达性算法，用于计算过程内切片，但此算法只能计算一个过程内的切 片问题，含有多个过程但程序切片计算问题并未得到解决。后来S. Horwitz等人通过把TOG 扩展为系统依赖图（SDG)以计算过程间切片，根据系统依赖图，将函数间的切片问题转化 为图的可达性问题，从而解决了包含多个过程程序的切片计算问题。 目前，计算程序静态切片主要使用的方法是基于依赖图的遍历算法。系统依赖图 本文档来自技高网...

【技术保护点】
一种基于idUCf五元结构的过程间静态切片提取方法，其特征在于， 包括：对程序中的静态切片按照变量的类型、静态切片的位置进行表达，建立表达式；依据对变量的赋值，在所述表达式中进行倒推式搜索；提取所述变量的值等于所述赋值的所有静态切片。

【技术特征摘要】

【专利技术属性】
技术研发人员：龚丹丹，陈春萍，蒋坚鸿，
申请(专利权)人：上海精密计量测试研究所，
类型：发明
国别省市：上海;31