面向对象模型语言MOOL静态切片系统的实现

面向对象模型语言MOOL静态切片系统的实现

王智学, 刘华虓, 王毅, 陈雪, 王跃, 刘磊

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2007-12-12 修回日期:1900-01-01 出版日期:2008-11-26 发布日期:2008-11-26
通讯作者: 刘磊

Implementation of Static Slicing System of a ModelObjectoriented Language Called MOOL

WANG Zhixue, LIU Hua xiao, WANG Yi, CHEN Xue, WANG Yue, LIU Lei

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2007-12-12 Revised:1900-01-01 Online:2008-11-26 Published:2008-11-26
Contact: LIU Lei

摘要/Abstract

摘要： 以一种自定义的模型面向对象语言MOOL为例, 采用分层切片和逐步求精的混合算法, 使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明, 切片后的程序更加简化, 对调试程序有一定的辅助作用.

关键词: 切片, 静态切片, 分层切片, 切片工具

Abstract: The paper offers a model objectoriented language defined by us which is called MOOL is taken as an example to use Perl language to im plement a static slicing tool of MOOL by adopting hierarchical and stepwise slicing algorithm. The experimental results show that sliced program is more simple and exhibits an auxiliary effect on the regulating program.

Key words: slicing, static slicing, hierarchical slicing, slicing tool

中图分类号:

TP311

王智学, 刘华虓, 王毅, 陈雪, 王跃, 刘磊. 面向对象模型语言MOOL静态切片系统的实现[J]. J4, 2008, 46(06): 1142-1148.

WANG Zhixue, LIU Hua xiao, WANG Yi, CHEN Xue, WANG Yue, LIU Lei. Implementation of Static Slicing System of a ModelObjectoriented Language Called MOOL[J]. J4, 2008, 46(06): 1142-1148.