王智学
- 作品数：4 被引量：1H指数：1
- 供职机构：吉林大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象模型语言MOOL静态切片系统的实现被引量：1
- 2008年
- 以一种自定义的模型面向对象语言MOOL为例,采用分层切片和逐步求精的混合算法,使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明,切片后的程序更加简化,对调试程序有一定的辅助作用.
- 王智学刘华虓王毅陈雪王跃刘磊
- 关键词：切片分层切片
- 程序切片技术理论与应用研究
- 本文对程序切片技术的理论和应用做了相关研究，考虑了切片工具的实现问题、新型切片算法的建立以及切片在本体领域的应用。本文的内容包括以下几个方面： 1）综述了程序切片技术的起源、发展、方法及应用。 2）实现了自定义的模型语言...
- 王智学
- 关键词：程序切片依赖图分层切片
- 文献传递
- 一种小型面向对象语言的程序分片技术
- 程序分片是一种非常重要的分析和理解程序的方法,用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和控制条件,组成新的程序(分片),然后通过分析分片来分析源程序的行为。程序分片的概念被提出以后,受到了广大研究人员和软...
- 王智学
- 文献传递
- 块结构的程序切片方法
- 2012年
- 为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.
- 张鹏王智学吕帅张睿刘磊
- 关键词：程序切片程序块控制流分析数据流分析
