您的位置： 专家智库 > >

教育部“新世纪优秀人才支持计划”(NCET100436)

作品数：1 被引量：0H指数：0
相关作者：张鹏王智学张睿刘磊吕帅更多>>
相关机构：吉林大学更多>>
发文基金：中央高校基本科研业务费专项资金中国博士后科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇数据流
  • 1篇数据流分析
  • 1篇切片
  • 1篇切片方法
  • 1篇控制流
  • 1篇控制流分析
  • 1篇块结构
  • 1篇程序块
  • 1篇程序切片

机构

  • 1篇吉林大学

作者

  • 1篇吕帅
  • 1篇刘磊
  • 1篇张睿
  • 1篇王智学
  • 1篇张鹏

传媒

  • 1篇哈尔滨工程大...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
块结构的程序切片方法
2012年
为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.
张鹏王智学吕帅张睿刘磊
关键词：程序切片程序块控制流分析数据流分析
全选 清除 导出
共1页<1>
聚类工具0