Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT》 2000-03
Add to Favorite Get Latest Update

AN APPROACH TO ANALYZING AND UNDERSTANDING PROGRAM──PROGRAM SLICING

LI Bi-Xin; ZHENG Guo-Liang; WANG Yun-Feng; LI Xuan-Dong (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) (Department of Computer Science & Technology, Nanjing University, Nanjing 210093)  
Program slicing is a static analysis technique that extracts all statements relevant to the computation of a given variable. Program slicing is useful in program debugging, software maintenance, and program understanding. Program slices can be used to reduce the effort in examining software by allowing a software auditor to focus attention on one computation at a time. In this paper, the research and development of program slicing is discussed, all kinds of program slicing methods are compared, the progress made in object-oriented program slicing domain is also presented, and current problem and future directions are analyzed at the end of the paper.
【Fund】: 合肥经济技术学院科研基金!项目编号99-183;; 江苏省自然科学基金!项目编号BK99038
【CateGory Index】: TP311.5
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 10 Hits
1 HU Shun-ren~1,2 ,JIAN Xi-ming1 ,ZHOU Deng-yi1(1.Chongqing Institute of Technology, Chongqing 400050,China;2.Key Lab of Optoelectronic Technology and system of MOE,College of Optoelectronic Engineering, Chongqing University, Chongqing 400044,China);Research of Regression Testing Based on Object-Oriented System[J];Journal of Chongqing Institute of Technology;2005-05
2 GONG Hui-ying1,ZHANG Xiao-dong2,LIU lei1 (1.Department of Computer Science,Jilin University,Changchun 130023,China ; Department of Electronic Engineering, Dalian University, Dalian 116622,China);Program Slicing[J];Journal of Dalian Nationalities University;2001-03
3 Deng Xiaohong1 Sun Xingming2 Sun Guang2,3 Bai Yameng4(1College of Applied Science,Jiangxi University of Science and Technology,Ganzhou 341000,China)(2School of Computer and Communication,Hunan University,Changsha 410082, China)(3Department of Information Management,Hunan College of Finance and Economic,Changsha 410082,China)(4 School of Computer and Communication,Hunan University of Technology,Zhuzhou 412008,China);Software watermarking based on dynamic program slicing[J];Journal of Southeast University(Natural Science Edition);2007-S1
4 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
5 ZHANG YingZhou1,2 1 College of Computer, Nanjing University of Posts and Telecommunications, Nanjing 210003, China 2 Institute of Computer Technology, Nanjing University of Posts and Telecommunications, Nanjing 210003, China;A novel formal approach to program slicing[J];中国科学(F辑:信息科学)(英文版);2007-05
6 Chen Yuting Zhu Ping Liu Fang Tan Yi Zheng Guoliang(State Key Laboratory for Novel Software Technology,Nanjing210093)(Dept.Of Computer Science,Nanjing University,Nanjing210093);An Intramethod Slicing Algorithm Based on Java Hierarchical Model[J];Computer Engineering and Applications;2002-02
7 Hu Shunren Wang Zheng Deng Yi (Computer Science and Engineering Department ,Chongqing University,Chengqing400044);Dependence Aggregate of Regression Testing Based on UML[J];Computer Engineering and Applications;2003-05
8 ZHU PingTAN YiLI BixinZHENG Guoliang(State Key Laboratory for Novel Software Technology, Nanjing University, Dept.of Computer Science & Techonogy, Nanjing University, Nanjing 210093);An Analysis Scheme of Source Code Information Based on Hierarchical Slice Model[J];Computer Engineering;2001-12
9 LI Bi Xin 1),2) YANG Zhao Hui 1) TAN Yi 1) ZHU Ping 1) LI Xuan Dong 1) ZHENG Guo Liang 1) 1) (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093) 2) (Department;A Framework for Measuring Java Couple Based on Program Slicing Technique[J];Chinese Journal of Computers;2001-03
10 SHAN Jin-Hui WANG Ji QI Zhi-Chang WU Jian-Ping(School of Computers, National University of Defense Technology, Changsha 410073);Improvement of the Gupta Method[J];Chinese Journal of Computers;2002-12
【Citations】
Chinese Journal Full-text Database 1 Hits
1 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
【Co-citations】
Chinese Journal Full-text Database 4 Hits
1 HU Shun-ren~1,2 ,JIAN Xi-ming1 ,ZHOU Deng-yi1(1.Chongqing Institute of Technology, Chongqing 400050,China;2.Key Lab of Optoelectronic Technology and system of MOE,College of Optoelectronic Engineering, Chongqing University, Chongqing 400044,China);Research of Regression Testing Based on Object-Oriented System[J];Journal of Chongqing Institute of Technology;2005-05
2 CHEN Zhen Qiang ① and XU Bao Wen ①② ①(Department of Computer Science and Engineering, Southeast University, Nanjing 210096) ②(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS[J];Journal of Computer Research and Development;2002-02
3 Hu Shunren Wang Zheng Deng Yi (Computer Science and Engineering Department ,Chongqing University,Chengqing400044);Dependence Aggregate of Regression Testing Based on UML[J];Computer Engineering and Applications;2003-05
4 XU Bao-Wen ZHANG Ting CHEN Zhen-Qiang (Department of Computer Science and Engineering, Southeast University, Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);Dependence Analysis of Recursive Subprograms and Its Applications[J];Chinese Journal of Computers;2001-11
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Jie Wei\ Xie Junkai\ Xi Hongyu\ Gao Zhongyi (Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering);Genetic Algorithms and Its Application in Software Test Data Generation[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1998-04
2 LI Ying-mei,LUN Li-jun,DING Xue-mei( Department of Computer Science, Harbin Normal University, Harbin Heilongjiang 150080, PRC );Research and application of dynamic program slicing[J];Journal of Northeast Agricultural University;2005-03
3 DOU Yan 1. College of Information Science and Engineering, Yanshan University, Qinhuangdao, Hebei 066004, China;Key facts of affecting software project management[J];Journal of Yanshan University;2004-04
4 WANG Jing(Software Institute,Tianjin University,Tianjin 300072,China);Exploration of object-oriented software testing based on class[J];Computer and Information Technology;2006-05
5 LI Dang , LIU Jie (CEPREI,Guangzhou 510610,China);Software Regression Testing and Its Application[J];Electronic Product Reliability and Environmental Testing;2001-06
6 YANG Fu-qing, MET Hong, LU Jian, JIN Zhi(Software Institute, Peking University, Beijing 1000871, China;National Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu 210096, China;Mathematics Institute, Chinese Academy of Sciences , Beijing 100080, China);Some Discussion on the Development of Software Technology[J];Acta Electronica Sinica;2002-S1
7 LIN Hui-min,ZHANG Wen-hui(Institute of Software , Chinese Academy of Sciences, Beijing 100080, China );Model Checking: Theories,Techniques and Applications[J];Acta Electronica Sinica;2002-S1
8 SHAN Jin-Hui,WANG Ji,QI Zhi-Chang (School of Computer Science,National University of Defence Technology,Changsha,Hunan 410073,China);Survey on Path-Wise Automatic Generation of Test Data[J];Acta Electronica Sinica;2004-01
9 QI Xiao-fang~1,XU Bao-wen~1,2,ZHOU Xiao-yu~1,2(1.College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China);An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J];Acta Electronica Sinica;2007-02
10 Zhang Baolin, Xu Tao, Yang Ye , Qiao Xiangzhen  (Laboratory of Computational Physics, IAPCM, Beijing 100088) ( Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080);Block ADI Algorithm on Massively Parallel Processing System with Distributed Memory[J];HIGH TECHNOLOGY LETTERS;1998-02
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 LI Jun NIU Yan(Hubei University of Technology,Wuhan 430068);Design and Implementation of C-program Scoring System Based on Network[J];Journal of Chongqing University of Science and Technology(Natural Sciences Edition);2008-02
2 Li Bixin (School of Computer Science and Engineering,Southeast University,Nanjing 210096,China) (State Key Laboratory of Novel Software Technology(Nanjing University),Nanjing 210039,China);Measurement and validation of object-oriented software coupling[J];Journal of Southeast University(Natural Science Edition);2006-03
3 Meng Wei Luo Shengxian (Chengdu University Of Technology,Chengdu 610059,Sichuan);Research on the Regression Testing Method for Industry Application[J];Computer & Telecommunication;2007-12
4 Mo Junhui Li Bixin Postgraduate;Department of Computer Science & Engineering,Southeast University,(Nanjing) 210096,China.;A metric for JAVA interaction coupling based on hierarchical slicing model[J];Journal of Huazhong University of Science and Technology;2005-S1
5 CHEN Ji-feng(Department of Computer,Hunan International Economics University,Changsha 410205,China);Research on Path-based Automatic Test Data Generation with Arrays and Loops[J];Computer Science;2008-07
6 FENG Yucai,YU Yan,ZHOU Chun(College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074);Consistency Analysis and Improvement of Linear Constraint System in the Gupta Method[J];Computer Engineering;2004-12
7 HU Shunren1,2,CHENG Weimin1,LIAO Changrong1,YU Miao1,LIANG Zongbao1(1.Key Laboratory of Education Ministry for Optoelectronic Technology and System,Chongqing University,Chongqing 400044;2.School of Electric Information and Automation,Chongqing Institute of Technology,Chongqing 400050);Graph Theory Research of Dependency Relations Among ClassesBased on UML Class Diagram[J];Computer Engineering;2006-12
8 XU Xiu-lin1, HU Ke-jin2(1.Department of Electronic Engineering, Nantong Vocation College, Nantong 226007;2.College of Economic Management, Tongji University, Shanghai 200092);Test Case Generation Strategy Based on Constraint Satisfaction Searching Algorithm[J];Computer Engineering;2008-18
9 CUI Huan-qing,LIU Qiang(College of Information Science and Engineering,Shandong University of Science and Technology,Qingdao 266510);Detection and Prevention of Communication Deadlock for Parallel Programs Based on Petri Net[J];Computer Engineering;2008-23
10 Zhou Xiaoyu 1)2) Huang Wenwei 1)2) Shi Liang 1)2) Xu Baowen 1)2)3) (Department of Computer Science & Engineering, Southeast University 1), Nanjing 210096)\;(Jiangsu Institute of Software Quality 2), Nanjing 210096)\;( State Key Laboratory of Software Engineering, Wuhan University 3), Wuhan 430072);Analysis of Dependences among C Program Units[J];Computer & Digital Engineering;2004-06
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved